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

connectsEngineeringComponentsdocumentation 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 argument2001-11-30 13:33:55.0
has axiom
(connectedEngineeringComponents ?COMP1 ?COMP2)
(exists (?CONNECTION)
(connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))
2001-11-30 13:33:55.0
has axiom
(instance ?CONNECTION EngineeringConnection)
(exists (?COMP1 ?COMP2)
(connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))
2001-11-30 13:33:55.0
has domain1 EngineeringConnection2001-11-30 13:33:55.0
has domain2 EngineeringComponent2001-11-30 13:33:55.0
has domain3 EngineeringComponent2001-11-30 13:33:55.0