SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > crosses
Next AsymmetricRelationdate    UpAsymmetricRelation, TransitiveRelation    Previous AsymmetricRelationcontainsInformation   

crosses
subjectfact 
crossesdocumentation (crosses ?OBJ1 ?OBJ2) means that Object ?OBJ1 traverses Object ?OBJ2, without being connected to it2001-11-30 13:33:59.0
has axiom
(=>
(crosses ?OBJ1 ?OBJ2)
(not
(connected ?OBJ1 ?OBJ2)))
2001-11-30 13:33:59.0
has axiom
(=>
(traverses ?OBJ1 ?OBJ2)
(or
(crosses ?OBJ1 ?OBJ2)
(penetrates ?OBJ1 ?OBJ2)))
2001-11-30 13:33:59.0
is an instance of AsymmetricRelation2001-11-30 13:33:59.0
is an instance of TransitiveRelation2001-11-30 13:33:59.0
BinaryRelationis first domain of DomainFn2001-11-30 13:33:44.0
is first domain of equivalenceRelationOn2001-11-30 13:33:44.0
is first domain of inverse2001-11-30 13:33:44.0
is first domain of irreflexiveOn2001-11-30 13:33:44.0
is first domain of partialOrderingOn2001-11-30 13:33:44.0
is first domain of RangeFn2001-11-30 13:33:44.0
is first domain of reflexiveOn2001-11-30 13:33:44.0
is first domain of totalOrderingOn2001-11-30 13:33:44.0
is first domain of trichotomizingOn2001-11-30 13:33:44.0
is second domain of inverse2001-11-30 13:33:44.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next AsymmetricRelationdate    UpAsymmetricRelation, TransitiveRelation    Previous AsymmetricRelationcontainsInformation