SUMO View all facts Glossary Help |
unparented > connectsEngineeringComponents |
connectsEngineeringComponents | ||||
subject | fact |
connectsEngineeringComponents | documentation 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 | |
has axiom (<=> | ||
has axiom (=> | ||
has domain1 EngineeringConnection | ||
has domain2 EngineeringComponent | ||
has domain3 EngineeringComponent |