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 (<=> (connectedEngineeringComponents ?COMP1 ?COMP2) (exists (?CONNECTION) (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))
	has axiom (=> (instance ?CONNECTION EngineeringConnection) (exists (?COMP1 ?COMP2) (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))
	has domain1 EngineeringConnection
	has domain2 EngineeringComponent
	has domain3 EngineeringComponent