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


KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1In2In3Ra4In5En6In7InFn

 Sigma KEE - Ducking
Ducking(ducking)duck

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


(subclass Ducking IntentionalProcess) Mid-level-ontology.kif 14674-14674 Ducking is a subclass of intentional process
(subclass Ducking BodyMotion) Mid-level-ontology.kif 14675-14675 Ducking is a subclass of body motion
(subclass Ducking MotionDownward) Mid-level-ontology.kif 14676-14676 Ducking is a subclass of motion downward
(documentation Ducking EnglishLanguage "Purposely moving one's body downward in such a way as to avoid being hit by something.") Mid-level-ontology.kif 14677-14678 Ducking is a subclass of motion downward

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


(termFormat EnglishLanguage Ducking "ducking") domainEnglishFormat.kif 20658-20658
(termFormat ChineseTraditionalLanguage Ducking "迴避") domainEnglishFormat.kif 20659-20659
(termFormat ChineseLanguage Ducking "回避") domainEnglishFormat.kif 20660-20660

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


(=>
    (and
        (instance ?MOTION Ducking)
        (agent ?MOTION ?AGENT))
    (hasPurpose ?MOTION
        (not
            (exists (?IMPACT)
                (and
                    (instance ?IMPACT Impacting)
                    (patient ?IMPACT ?AGENT))))))		 Mid-level-ontology.kif 14680-14687 If X is an instance of ducking and Y is an agent of X, then X has the purpose there doesn't exist Z such that Z is an instance of impacting and Y is a patient of Z


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