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)