SUMO   View all facts   Glossary   Help
Entity > Physical > Process > IntentionalProcess > Guiding
Next IntentionalProcessKeeping    UpIntentionalProcess    Previous IntentionalProcessGrooming   

Guiding
subjectfact 
Guidingdocumentation Controlling the direction and/or speed of a CorpuscularObject. This includes aiming a gun or arrow, navigating a ship, driving a car or truck, operating a train, etc2001-11-30 13:34:23.0
is a kind of IntentionalProcess2001-11-30 13:34:23.0
IntentionalProcesshas axiom
(=>
(and
(instance ?PROC IntentionalProcess)
(agent ?PROC ?AGENT))
(and
(instance ?AGENT CognitiveAgent)
(exists (?PURP)
(hasPurposeForAgent ?PROC ?PURP ?AGENT))))
2001-11-30 13:34:31.0
has axiom
(=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))
2001-11-30 13:34:31.0
is disjoint from NonintentionalProcess2001-11-30 13:34:31.0
Processis first domain of agent2001-11-30 13:35:04.0
is first domain of capability2001-11-30 13:35:04.0
is first domain of causes2001-11-30 13:35:04.0
is first domain of destination2001-11-30 13:35:04.0
is first domain of direction2001-11-30 13:35:04.0
is first domain of effector2001-11-30 13:35:04.0
is first domain of experiencer2001-11-30 13:35:04.0
is first domain of frequency2001-11-30 13:35:04.0
is first domain of hasSkill2001-11-30 13:35:04.0
is first domain of holdsObligation2001-11-30 13:35:04.0
is first domain of holdsRight2001-11-30 13:35:04.0
is first domain of inhibits2001-11-30 13:35:04.0
is first domain of instrument2001-11-30 13:35:04.0
is first domain of manner2001-11-30 13:35:04.0
is first domain of origin2001-11-30 13:35:04.0
is first domain of patient2001-11-30 13:35:04.0
is first domain of precondition2001-11-30 13:35:04.0
is first domain of prevents2001-11-30 13:35:04.0
is first domain of realization2001-11-30 13:35:04.0
is first domain of resource2001-11-30 13:35:04.0
is first domain of result2001-11-30 13:35:04.0
is first domain of subProcess2001-11-30 13:35:04.0
is second domain of causes2001-11-30 13:35:04.0
is second domain of inhibits2001-11-30 13:35:04.0
is second domain of precondition2001-11-30 13:35:04.0
is second domain of prevents2001-11-30 13:35:04.0
is second domain of subProcess2001-11-30 13:35:04.0

Next IntentionalProcessKeeping    UpIntentionalProcess    Previous IntentionalProcessGrooming