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

Show
Ignore:
Timestamp:
12/29/10 08:10:17 (12 years ago)
Author:
mfedorov (IP: 93.186.61.242)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/PropertyValueListRestrictionOfIndividual

    v0 v1  
     1=== Proposed Core Template !PropertyValueListRestrictionOfIndividual === 
     2 
     3[[br]]This template is specifying a property of an individual from a fixed list.  
     4[[br]]!PropertyValueListRestrictionOfIndividual(a, b, c) means that a is a !ClassOfIndirectProperty, b is an !ArrangedIndividual to which the relation applies, and c is an allowable property value. 
     5[[br]] 
     6[[br]]Roles:  
     7[[br]]1 hasPropertyType !ClassOfIndirectProperty  
     8[[br]]2 hasPossessorClass !ArrangedIndividual  
     9[[br]]3 hasPropertyValue !Property 
     10 
     11Axiom:  
     12{{{  
     13}}} 
     14 
     15EXAMPLE The statement !PropertyValueListRestrictionOfIndividual(NOMINAL DIAMETER, XYZ-TYPE GLOBE VALVE SN123, 250MM). 
Home
About PCA
Reference Data Services
Projects
Workgroups