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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MotionDownward

 Sigma KEE - MotionDownward
MotionDownward

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


(documentation MotionDownward ChineseLanguage "这是当一个 Object 移向地面的 Motion。") chinese_format.kif 2999-2999
(documentation MotionDownward EnglishLanguage "Motion where an Object is moving toward the ground.") Merge.kif 11035-11036
(documentation MotionDownward JapaneseLanguage "Object が地面に向かって移動している Motion。") japanese_format.kif 1760-1761
(subclass MotionDownward Motion) Merge.kif 11033-11033

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


(disjoint MotionUpward MotionDownward) Merge.kif 11028-11028
(subclass Bowing MotionDownward) Mid-level-ontology.kif 13039-13039
(subclass Ducking MotionDownward) Mid-level-ontology.kif 13056-13056
(subclass Falling MotionDownward) Merge.kif 11535-11535
(subclass Inclining MotionDownward) Mid-level-ontology.kif 13032-13032
(subclass LyingDown MotionDownward) Mid-level-ontology.kif 19766-19766
(subclass SittingDown MotionDownward) Mid-level-ontology.kif 19811-19811
(termFormat ChineseLanguage MotionDownward "向下运动") domainEnglishFormat.kif 38733-38733
(termFormat ChineseTraditionalLanguage MotionDownward "向下運動") domainEnglishFormat.kif 38732-38732
(termFormat EnglishLanguage MotionDownward "motion downward") domainEnglishFormat.kif 38731-38731

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


(=>
    (instance ?E Elevator)
    (and
        (capability MotionUpward instrument ?E)
        (capability MotionDownward instrument ?E)))		 Mid-level-ontology.kif 15377-15381
(=>
    (instance ?H HoistingDevice)
    (capability MotionDownward instrument ?H))		 Mid-level-ontology.kif 2461-2463
(=>
    (instance ?HABOOB Haboob)
    (exists (?TS ?DM ?A)
        (and
            (instance ?TS Thunderstorm)
            (instance ?DM MotionDownward)
            (instance ?A Air)
            (patient ?DM ?A)
            (subProcess ?DM ?TS)
            (causes ?DM ?HABOOB))))		 Weather.kif 1318-1327
(=>
    (instance ?LADDER Ladder)
    (and
        (capability MotionUpward instrument ?LADDER)
        (capability MotionDownward instrument ?LADDER)))		 Mid-level-ontology.kif 15048-15052
(=>
    (instance ?R Ramp)
    (capability MotionDownward path ?R))		 Mid-level-ontology.kif 2342-2344
(=>
    (instance ?S Stairway)
    (and
        (capability MotionUpward instrument ?S)
        (capability MotionDownward instrument ?S)))		 Mid-level-ontology.kif 15002-15006
(=>
    (instance ?STEPS Steps)
    (and
        (capability MotionUpward instrument ?STEPS)
        (capability MotionDownward instrument ?STEPS)))		 Mid-level-ontology.kif 15026-15030


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