Changes between Initial Version and Version 1 of SigMmt/Templates/InstanceOfIndirectProperty

Show
Ignore:
Timestamp:
06/05/10 17:33:50 (14 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/InstanceOfIndirectProperty

    v0 v1  
     1=== Base Template !InstanceOfIndirectProperty === 
     2 
     3[[br]]This template is for expressing the classified possession by an individual of an indirect property.  
     4[[br]] 
     5[[br]]!InstanceOfIndirectProperty(a, b, c) means that a is is a !ClassOfIndirectProperty,  
     6b a (temporal part of) !PossibleIndividual to which the relation applies and c is the instance  
     7of Property. b has a a type of !ClassOfIndirectProperty, which has c instance of Property.  
     8[[br]] 
     9[[br]]Roles:  
     10[[br]]1 hasPropertyType !ClassOfIndirectProperty  
     11[[br]]2 hasPropertyPossessor !PossibleIndividual  
     12[[br]]3 hasProperty Property  
     13 
     14Axiom:  
     15{{{ 
     16InstanceOfIndirectProperty(x1, x2, x3) <->  
     17ClassOfIndirectProperty(x1) &  
     18PossibleIndividual(x2) &  
     19Property(x3) &  
     20exists u(ClassificationOfRelationship(u, x1) &  
     21IndirectPropertyTriple(u, x2, x3)) .  
     22}}} 
Home
About PCA
Reference Data Services
Projects
Workgroups