SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > IrreflexiveRelation > connectedEngineeringComponents
Next IrreflexiveRelation: contraryProperty    Up: IrreflexiveRelation, SymmetricRelation    Previous IrreflexiveRelation: before   

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
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
       (not 
          (holds ?REL ?INST ?INST))))
BinaryRelation 
SymmetricRelation  A BinaryRelation ?REL is symmetric just in case (?REL ?INST1 ?INST2) imples (?REL ?INST2 ?INST1), for all ?INST1 and ?INST2
(=>
    (instance ?REL SymmetricRelation)
    (forall (?INST1 ?INST2)
       (=>
          (holds ?REL ?INST1 ?INST2)
          (holds ?REL ?INST2 ?INST2))))
BinaryRelation 
connectedEngineeringComponentsEngineeringComponentEngineeringComponentThis 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
(=>
    (connectedEngineeringComponents ?COMP1 ?COMP2)
    (and
       (not
          (engineeringSubcomponent ?COMP1 ?COMP2))
       (not
          (engineeringSubcomponent ?COMP2 ?COMP1))))
 SymmetricRelation

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