SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > IrreflexiveRelation > connectedEngineeringComponents |
connectedEngineeringComponents comparison table |
Subject | have domain2 | have domain1 | documentation | have axiom | is a kind of | is an instance of |
---|---|---|---|---|---|---|
IrreflexiveRelation | Relation ?REL is irreflexive if (?REL ?INST ?INST) holds for no value of ?INST | (=> | BinaryRelation | |||
SymmetricRelation | A BinaryRelation ?REL is symmetric just in case (?REL ?INST1 ?INST2) imples (?REL ?INST2 ?INST1), for all ?INST1 and ?INST2 | (=> | BinaryRelation | |||
connectedEngineeringComponents | EngineeringComponent | EngineeringComponent | 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 | (=> | SymmetricRelation |
Next IrreflexiveRelation: contraryProperty Up: IrreflexiveRelation, SymmetricRelation Previous IrreflexiveRelation: before