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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fist
Fist(fist)
clenched_fist, fist

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


(documentation Fist EnglishLanguage "The BodyPosition of having the fingers drawn into the palm so that the hand can be used for striking something.") Mid-level-ontology.kif 20111-20112
(externalImage Fist "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_3/ fist.png") pictureList.kif 435-435
(instance Fist BodyPosition) Mid-level-ontology.kif 20110-20110 Fist is an instance of body position

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


(termFormat ChineseLanguage Fist "拳头") domainEnglishFormat.kif 24090-24090
(termFormat ChineseTraditionalLanguage Fist "拳頭") domainEnglishFormat.kif 24089-24089
(termFormat EnglishLanguage Fist "fist") domainEnglishFormat.kif 24088-24088

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


(=>
    (attribute ?HAND Fist)
    (instance ?HAND Hand))
Mid-level-ontology.kif 20114-20116

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


(=>
    (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 6616-6625


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