SUMO   View all facts   Glossary   Help
unparented > connectsEngineeringComponents
Next unparenteddiameter    Upunparented    Previous unparentedcomponent   

connectsEngineeringComponents comparison table
Subject documentation have domain3 have domain2 have domain1 have axiom
unparented     
connectsEngineeringComponentsconnectsEngineeringComponents 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 argumentEngineeringComponentEngineeringComponentEngineeringConnection
(=>
(instance ?CONNECTION EngineeringConnection)
(exists (?COMP1 ?COMP2)
(connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))

Next unparenteddiameter    Upunparented    Previous unparentedcomponent