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 (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search