=== Base Template !ClassifiedAssembly ===

[[br]]This is a template for describing a typed assembly. 
[[br]]
[[br]]!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. 
[[br]]
[[br]]Roles: 
[[br]]1 hasAssemblyType !ClassOfAssemblyOfIndividual 
[[br]]2 hasPart !PossibleIndividual
[[br]]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)