Version 3 (modified by mfedorov, 13 years ago)

--

Base Template ClassifiedAssembly


This is a template for describing a typed assembly.

ClassifiedAssembly(a, b, c) means that a is a type of an assebly, b is a (temporal part of) PossibleIndividual and c is a (temporal part of) ArrangedIndividual.

Roles:
1 hasAssemblyType ClassOfAssemblyOfIndividual
2 hasPart PossibleIndividual
3 hasWhole ArrangedIndividual

Axiom:

ClassifiedAssembly(x1, x2, x3) <-> 
ClassOfAssemblyOfIndividual(x1) & 
PossibleIndividual(x2) & 
ArrangedIndividual(x3) & 
exists u(AssemblyOfIndividualTriple(u, x2, x3) & 
ClassificationTemplate(u, x1)) . 

EXAMPLE The statement ClassifiedAssembly(PipingNetworkSystemHasPipingNetworkSegment, seg123, sys456)

Home
About PCA
Reference Data Services
Projects
Workgroups