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

KB Term:  Term intersection
English Word: 

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


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