Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Punching
Punching

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


(documentation Punching EnglishLanguage "Any instance of Impelling where the instrument is a Fist of the agent.") Mid-level-ontology.kif 7556-7557
(externalImage Punching "http://upload.wikimedia.org/wikipedia/commons/8/ 85/ Asikainen_di_Giacomo.jpg") pictureList.kif 6806-6806
(externalImage Punching "http://upload.wikimedia.org/wikipedia/commons/d/ d0/ Bellows_George_Dempsey_and_Firpo_1924.jpg") pictureList.kif 7693-7693
(externalImage Punching "http://upload.wikimedia.org/wikipedia/commons/d/ d9/ Ouch_boxing_footwork.jpg") pictureList.kif 7695-7695
(externalImage Punching "http://upload.wikimedia.org/wikipedia/commons/e/ e8/ Footwork.jpg") pictureList.kif 7694-7694
(subclass Punching Impelling) Mid-level-ontology.kif 7554-7554 Punching強いることsubclass では
(subclass Punching IntentionalProcess) Mid-level-ontology.kif 7555-7555 Punching意図的なプロセスsubclass では

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


(termFormat ChineseLanguage Punching "冲压") domainEnglishFormat.kif 48130-48130
(termFormat ChineseTraditionalLanguage Punching "沖壓") domainEnglishFormat.kif 48129-48129
(termFormat EnglishLanguage Punching "punching") domainEnglishFormat.kif 48128-48128

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 7559-7568


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 is open source software produced by Articulate Software and its partners