Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Poking

 Sigma KEE - Poking
Poking(poking)boring, dig, drilling, gouge, impalement, incisive, jab, jabbing, lance, needle, oil_production, perforation, pinprick, poke, poking, prick, pricking, prod, puncture, riddle, sheathe, stab, thrust, thrusting, venipuncture

appearance as argument number 1
-------------------------


(subclass Poking IntentionalProcess) Merge.kif 12617-12617 Poking is a subclass of intentional process
(documentation Poking EnglishLanguage "The Class of Processes where the agent pierces the surface of the Object with an instrument.") Merge.kif 12618-12619 Poking is a subclass of intentional process

appearance as argument number 2
-------------------------


(subclass Cutting Poking) Merge.kif 12629-12629 Cutting is a subclass of poking
(termFormat EnglishLanguage Poking "poking") english_format.kif 1547-1547 Cutting is a subclass of poking

antecedent
-------------------------


(=>
    (and
        (instance ?POKE Poking)
        (agent ?POKE ?AGENT)
        (patient ?POKE ?OBJ)
        (instrument ?POKE ?INST))
    (holdsDuring
        (WhenFn ?POKE)
        (connects ?INST ?AGENT ?OBJ)))		 Merge.kif 12621-12627 If X is an instance of poking, Y is an agent of X, Z is a patient of X, and W is an instrument for X, then W connects Y and Z holds during the time of existence of X

consequent
-------------------------


(=>
    (instance ?S Spear)
    (capability Poking instrument ?S))		 Mid-level-ontology.kif 1216-1218 If X is an instance of spear, then X is capable of doing poking as a instrument
(=>
    (instance ?S Spear)
    (hasPurpose ?S
        (exists (?P ?A)
            (and
                (instance ?A CognitiveAgent)
                (or
                    (instance ?P Poking)
                    (instance ?P Hunting)
                    (instance ?P Attacking))
                (instrument ?P ?S)
                (agent ?P ?A)))))		 Mid-level-ontology.kif 1235-1246 If X is an instance of spear, then X has the purpose there exist Y, Z such that Z is an instance of cognitive agent, Y is an instance of poking, Y is an instance of hunting, or Y is an instance of Attacking, X is an instrument for Y, and Z is an agent of Y
(=>
    (and
        (instance ?L Laceration)
        (instance ?S Skin)
        (equal ?S
            (HoleHostFn ?L))
        (part ?S ?H))
    (exists (?P)
        (and
            (instance ?P Poking)
            (result ?P ?L))))		 Medicine.kif 6249-6258 If X is an instance of laceration, Y is an instance of skin, equal Y and the host of the hole X, and Y is a part of Z, then there exists W such that W is an instance of poking and X is a result of W


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners