connectsEngineeringComponents Comparison Table

unparented > connectsEngineeringComponents

Next unparented: diameter Up: unparented Previous unparented: component

connectsEngineeringComponents comparison table

Subject documentation have domain3 have domain2 have domain1 have axiom

unparented

connectsEngineeringComponents connectsEngineeringComponents is a TernaryPredicate that maps from an EngineeringConnection to the EngineeringComponents it connects. Since EngineeringComponents cannot be connected to themselves and there cannot be an EngineeringConnection without a connectedEngineeringComponents Predicate, the second and third arguments of any connectsEngineeringComponents relationship will always be distinct for any given first argument EngineeringComponent EngineeringComponent EngineeringConnection
(=>
(instance ?CONNECTION EngineeringConnection)
(exists (?COMP1 ?COMP2)
(connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))

Subject	documentation	have domain3	have domain2	have domain1	have axiom
unparented
connectsEngineeringComponents	connectsEngineeringComponents is a TernaryPredicate that maps from an EngineeringConnection to the EngineeringComponents it connects. Since EngineeringComponents cannot be connected to themselves and there cannot be an EngineeringConnection without a connectedEngineeringComponents Predicate, the second and third arguments of any connectsEngineeringComponents relationship will always be distinct for any given first argument	EngineeringComponent	EngineeringComponent	EngineeringConnection	(=> (instance ?CONNECTION EngineeringConnection) (exists (?COMP1 ?COMP2) (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))

Next unparented: diameter Up: unparented Previous unparented: component