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

Show
Ignore:
Timestamp:
06/05/10 16:47:15 (12 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/SpecializationOfIndividualRelation

    v0 v1  
     1=== Base Template !SpecializationOfIndividualRelation === 
     2 
     3[[br]]This is a template for expressing that one relation is a subrelation of another, constrained  
     4[[br]]to relations between individuals.  
     5[[br]]!SpecializationOfIndividualRelation(a, b) means that a and b are relations between individuals,  
     6[[br]]and that a is a subrelation of b.  
     7[[br]] 
     8[[br]]Roles:  
     9[[br]]1 hasSubrelation !ClassOfRelationship  
     10[[br]]2 hasSuperrelation !ClassOfRelationship  
     11 
     12Axiom:  
     13{{{ 
     14SpecializationOfIndividualRelation(x1, x2) <->  
     15ClassOfRelationship(x1) &  
     16ClassOfRelationship(x2) &  
     17RelationOfIndividualsToIndividuals(x1) &  
     18RelationOfIndividualsToIndividuals(x2) &  
     19SpecializationTemplate(x1, x2) .  
     20}}} 
     21 
     22EXAMPLE The expansion of !SpecializationOfIndividualRelation(Shaft Seal Connection, Seal Connection) is a disjunctive statement: cf. the example for !RelationOfIndividualsToIndividuals for an explanation. 
Home
About PCA
Reference Data Services
Projects
Workgroups