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

Show
Ignore:
Timestamp:
12/29/10 08:10:17 (11 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 (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search