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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Kicking

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 6634-6635
(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 6633-6633

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 6637-6645

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