Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Dodging
Dodging(dodging)
dodge

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


(subclass Dodging BodyMotion) Mid-level-ontology.kif 428-428 Dodging is a subclass of body motion
(subclass Dodging IntentionalProcess) Mid-level-ontology.kif 429-429 Dodging is a subclass of intentional process
(documentation Dodging EnglishLanguage "Purposely moving one's body in such a way as to avoid being hit by something.") Mid-level-ontology.kif 430-431 Dodging is a subclass of intentional process
(externalImage Dodging "http://upload.wikimedia.org/wikipedia/commons/4/ 43/ Tomimori_Sukeemon_Masakata_dodging_a_brazier.jpg") pictureList.kif 2664-2664 Dodging is a subclass of intentional process

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


(termFormat EnglishLanguage Dodging "dodging") domainEnglishFormat.kif 20088-20088
(termFormat ChineseTraditionalLanguage Dodging "躲著") domainEnglishFormat.kif 20089-20089
(termFormat ChineseLanguage Dodging "躲着") domainEnglishFormat.kif 20090-20090

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


(=>
    (and
        (instance ?D Dodging)
        (agent ?D ?A)
        (equal ?DT
            (WhenFn ?D)))
    (hasPurpose ?D
        (not
            (exists (?I)
                (and
                    (or
                        (meetsTemporally ?DT
                            (WhenFn ?I))
                        (overlapsTemporally ?DT
                            (WhenFn ?I)))
                    (instance ?I Impacting)
                    (patient ?I ?A))))))		 Mid-level-ontology.kif 433-446 If X is an instance of dodging, Y is an agent of X, and equal Z and the time of existence of X, then X has the purpose there doesn't exist W such that Z meets the time of existence of W or the time of existence of W overlaps Z, W is an instance of impacting, and Y is a patient of W


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners