SUMO   View all facts   Glossary   Help
Entity > Physical > Process > IntentionalProcess > Poking
Next IntentionalProcess: RecreationalProcess    Up: IntentionalProcess    Previous IntentionalProcess: OrganizationalProcess   

Poking comparison table
Subject documentation is a kind of have axiom
IntentionalProcessA Process that is deliberately set in motion by a CognitiveAgentProcess
(=>
    (instance ?PROC IntentionalProcess)
    (exists (?AGENT)
       (and
          (instance ?AGENT CognitiveAgent)
          (agent ?PROC ?AGENT))))
PokingThe Class of Processes where the agent brings a something long and narrow into contact with an Object and, in some cases, pierces the surface of the ObjectIntentionalProcess
(=>
    (and
       (instance ?POKE Poking)
       (agent ?POKE ?AGENT)
       (patient ?POKE ?OBJ)
       (instrument ?POKE ?INST))
    (holdsDuring (WhenFn ?POKE) (connects ?INST ?AGENT ?OBJ)))

Next IntentionalProcess: RecreationalProcess    Up: IntentionalProcess    Previous IntentionalProcess: OrganizationalProcess