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

Show
Ignore:
Timestamp:
06/05/10 17:27:04 (12 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/ClassificationOfIndividual

    v0 v1  
     1=== Base Template !ClassificationOfIndividual === 
     2 
     3[[br]]This is a template for classification of individuals (as opposed to pairs of individuals, classes, or relations).  
     4[[br]]!ClassificationOfIndividual(a, b) means that a is an individual, b is a class of individuals, and a is an instance of b.  
     5[[br]] 
     6[[br]]Roles:  
     7[[br]]1 hasIndividual !PossibleIndividual  
     8[[br]]2 hasClass !ClassOfIndividual  
     9 
     10Axiom:  
     11{{{ 
     12ClassificationOfIndividual(x1, x2) <->  
     13PossibleIndividual(x1) &  
     14ClassOfIndividual(x2) &  
     15ClassificationTemplate(x1, x2) .  
     16}}} 
     17 
     18EXAMPLE The classification of Alfred as an Engineer can be expressed using this template. Note that the reference individuals Alfred and Engineer are not themselves defined by the template statement, each may have a more specialized entity type than shown in the diagram.  
Home
About PCA
Reference Data Services
Projects
Workgroups