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

Show
Ignore:
Timestamp:
06/05/10 16:08:43 (10 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/ClassificationOfClassOfIndividual

    v0 v1  
     1=== Base Template !ClassificationOfClassOfIndividual === 
     2 
     3 
     4[[br]]This is a template for classifying classes that only have individuals as members.  
     5[[br]] 
     6[[br]]!ClassificationOfClassOfIndividual(a, b) means that a is a first-order class, that b is a secondorder  
     7class, and that a is a member of b.  
     8[[br]] 
     9[[br]]Roles:  
     10[[br]]1 hasClass !ClassOfIndividual  
     11[[br]]2 hasClassClassifier !ClassOfClassOfIndividual  
     12[[br]] 
     13 
     14Axiom:  
     15{{{ 
     16ClassificationOfClassOfIndividual(x1, x2) <->  
     17ClassOfIndividual(x1) &  
     18ClassOfClassOfIndividual(x2) &  
     19ClassificationOfClass(x1, x2) .  
     20}}} 
     21 
     22NOTE This template is a specialised version of !ClassificationOfClass, with the added restriction  
     23that the first argument is a first-order class (a !ClassOfIndividual), and the second argument is a  
     24second-order class (a !ClassOfClassOfIndividual).  
     25 
     26EXAMPLE The expansion of the statement !ClassificationOfClass(Drilling Class, Drill String)  
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