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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Kicking
Kicking

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


(documentation Kicking EnglishLanguage "Any instance of Impelling where the instrument is a Foot of the agent.") Mid-level-ontology.kif 6273-6274
(externalImage Kicking "http://upload.wikimedia.org/wikipedia/en/0/00/Butterfly_Kick_Samuel_Lee.gif") pictureList.kif 6650-6650
(externalImage Kicking "http://upload.wikimedia.org/wikipedia/en/3/34/Triple_Reverse_Turning_Kick_Combo_Samuel_Lee.gif") pictureList.kif 7138-7138
(externalImage Kicking "http://upload.wikimedia.org/wikipedia/en/4/48/Flying_back_kick_Samuel_Lee.gif") pictureList.kif 7139-7139
(subclass Kicking Impelling) Mid-level-ontology.kif 6272-6272 subclass Kicking and Impelling

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


(termFormat ChineseLanguage Kicking "踢") domainEnglishFormat.kif 32491-32491
(termFormat ChineseTraditionalLanguage Kicking "踢") domainEnglishFormat.kif 32490-32490
(termFormat EnglishLanguage Kicking "kicking") domainEnglishFormat.kif 32489-32489

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


(=>
    (and
        (instance ?KICK Kicking)
        (agent ?KICK ?ANIMAL))
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?FOOT ?ANIMAL)
            (instrument ?KICK ?FOOT))))
Mid-level-ontology.kif 6276-6284


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