SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > BinaryRelation > IrreflexiveRelation > connectedEngineeringComponents

connectedEngineeringComponents
subject			fact

connectedEngineeringComponents	documentation This is the most general connection relation between EngineeringComponents. If (connectedEngineeringComponents ?COMP1 ?COMP2), then neither ?COMP1 nor ?COMP2 can be an engineeringSubcomponent of the other. The relation connectedEngineeringComponents is a SymmetricRelation; there is no information in the direction of connection between two components. It is also an IrreflexiveRelation; no EngineeringComponent bears this relation to itself. Note that this relation does not associate a name or type with the connection
	has axiom (<=> (connectedEngineeringComponents ?COMP1 ?COMP2) (exists (?CONNECTION) (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))
	has axiom (=> (connectedEngineeringComponents ?COMP1 ?COMP2) (not (or (instance ?COMP1 EngineeringConnection) (instance ?COMP2 EngineeringConnection))))
	has axiom (=> (connectedEngineeringComponents ?COMP1 ?COMP2) (and (not (engineeringSubcomponent ?COMP1 ?COMP2)) (not (engineeringSubcomponent ?COMP2 ?COMP1))))
	has domain1 EngineeringComponent
	has domain2 EngineeringComponent
	is an instance of IrreflexiveRelation
	is an instance of SymmetricRelation
BinaryRelation	is first domain of DomainFn
	is first domain of equivalenceRelationOn
	is first domain of inverse
	is first domain of irreflexiveOn
	is first domain of partialOrderingOn
	is first domain of RangeFn
	is first domain of reflexiveOn
	is first domain of totalOrderingOn
	is first domain of trichotomizingOn
	is second domain of inverse
Class	is third domain of domain
	is third domain of domainSubclass
Abstract	is disjoint from Physical

Next IrreflexiveRelation: contraryProperty    Up: IrreflexiveRelation, SymmetricRelation    Previous IrreflexiveRelation: before