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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Kicking

Sigma KEE - Kicking
Kicking(kicking)
drop-kick, dropkick, kick

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 6628-6629
(externalImage Kicking "http://upload.wikimedia.org/wikipedia/en/0/00/Butterfly_Kick_Samuel_Lee.gif") pictureList.kif 6649-6649
(externalImage Kicking "http://upload.wikimedia.org/wikipedia/en/3/34/Triple_Reverse_Turning_Kick_Combo_Samuel_Lee.gif") pictureList.kif 7136-7136
(externalImage Kicking "http://upload.wikimedia.org/wikipedia/en/4/48/Flying_back_kick_Samuel_Lee.gif") pictureList.kif 7137-7137
(subclass Kicking Impelling) Mid-level-ontology.kif 6627-6627 Kicking is a subclass of impelling

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


(termFormat ChineseLanguage Kicking "踢") domainEnglishFormat.kif 32497-32497
(termFormat ChineseTraditionalLanguage Kicking "踢") domainEnglishFormat.kif 32496-32496
(termFormat EnglishLanguage Kicking "kicking") domainEnglishFormat.kif 32495-32495

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


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

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


(=>
    (instance ?BALL SoccerBall)
    (hasPurpose ?BALL
        (exists (?S ?K)
            (and
                (instance ?S Soccer)
                (instance ?K Kicking)
                (subProcess ?K ?S)
                (patient ?K ?BALL)))))
Sports.kif 313-321


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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