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

Show
Ignore:
Timestamp:
06/05/10 16:08:43 (14 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
Projects
Workgroups