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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 6591-6592
(externalImage Punching " 85/ Asikainen-di_Giacomo.jpg") pictureList.kif 6807-6807
(externalImage Punching " d0/ Bellows_George_Dempsey_and_Firpo_1924.jpg") pictureList.kif 7694-7694
(externalImage Punching " d9/ Ouch-boxing-footwork.jpg") pictureList.kif 7696-7696
(externalImage Punching " e8/ Footwork.jpg") pictureList.kif 7695-7695
(subclass Punching Impelling) Mid-level-ontology.kif 6589-6589
(subclass Punching IntentionalProcess) Mid-level-ontology.kif 6590-6590

appearance as argument number 2

(termFormat ChineseLanguage Punching "冲压") domainEnglishFormat.kif 48140-48140
(termFormat ChineseTraditionalLanguage Punching "沖壓") domainEnglishFormat.kif 48139-48139
(termFormat EnglishLanguage Punching "punching") domainEnglishFormat.kif 48138-48138


        (instance ?P Punching)
        (agent ?P ?A))
    (exists (?H)
            (instance ?H Hand)
            (attribute ?H Fist)
            (part ?H ?A)
            (instrument ?P ?H))))
Mid-level-ontology.kif 6594-6603

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