SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > CaseRole > direction
Next CaseRoleeffector    UpCaseRole    Previous CaseRoledestination   

direction comparison table
Subject have domain2 have domain1 documentation have axiom is a kind of is an instance of
CaseRole  The Class of Predicates relating the spatially distinguished parts of a Process. CaseRoles include, for example, the agent, patient or destination of an action, the flammable substance in a burning process, or the water that falls in rain
(=>
(and
(instance ?ROLE CaseRole)
(holds ?ROLE ?ARG1 ?ARG2)
(instance ?ARG1 ?PROC))
(capability ?PROC ?ROLE ?ARG2))
BinaryPredicate 
directionDirectionAttributeProcess(direction ?PROC ?ATTR) means that the Process ?PROC is moving in the direction ?ATTR. For example, one would use this Predicate to represent the fact that Max is moving North
(=>
(holdsDuring ?TIME (direction ?PROC ?ATTR1))
(forall (?ATTR2)
(=>
(holdsDuring ?TIME (direction ?PROC ?ATTR2))
(equal ?ATTR2 ?ATTR1))))
 CaseRole

Next CaseRoleeffector    UpCaseRole    Previous CaseRoledestination