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

KB Term:  Term intersection
English Word: 

Sigma KEE - Punching
Punching(punching)
biff, clout, lick, plug, poke, punch, slug

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


(subclass Punching Impelling) Mid-level-ontology.kif 7705-7705 Punching is a subclass of impelling
(subclass Punching IntentionalProcess) Mid-level-ontology.kif 7706-7706 Punching is a subclass of intentional process
(documentation Punching EnglishLanguage "Any instance of Impelling where the instrument is a Fist of the agent.") Mid-level-ontology.kif 7707-7708 Punching is a subclass of intentional process
(externalImage Punching "http://upload.wikimedia.org/wikipedia/commons/8/ 85/ Asikainen_di_Giacomo.jpg") pictureList.kif 6806-6806 Punching is a subclass of intentional process
(externalImage Punching "http://upload.wikimedia.org/wikipedia/commons/d/ d0/ Bellows_George_Dempsey_and_Firpo_1924.jpg") pictureList.kif 7693-7693 Punching is a subclass of intentional process
(externalImage Punching "http://upload.wikimedia.org/wikipedia/commons/e/ e8/ Footwork.jpg") pictureList.kif 7694-7694 Punching is a subclass of intentional process
(externalImage Punching "http://upload.wikimedia.org/wikipedia/commons/d/ d9/ Ouch_boxing_footwork.jpg") pictureList.kif 7695-7695 Punching is a subclass of intentional process

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


(termFormat EnglishLanguage Punching "punching") domainEnglishFormat.kif 48121-48121
(termFormat ChineseTraditionalLanguage Punching "沖壓") domainEnglishFormat.kif 48122-48122
(termFormat ChineseLanguage Punching "冲压") domainEnglishFormat.kif 48123-48123

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


(=>
    (and
        (instance ?P Punching)
        (agent ?P ?A))
    (exists (?H)
        (and
            (instance ?H Hand)
            (attribute ?H Fist)
            (part ?H ?A)
            (instrument ?P ?H))))		 Mid-level-ontology.kif 7710-7719 If X is an instance of punching and Y is an agent of X, then there exists Z such that Z is an instance of hand, fist is an attribute of Z, Z is a part of Y, and Z is an instrument for X


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