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 11101-11102
(documentation MotionDownward JapaneseLanguage "Object が地面に向かって移動している Motion。") japanese_format.kif 1760-1761
(subclass MotionDownward Motion) Merge.kif 11099-11099 向下运动运动subclass

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


(disjoint MotionUpward MotionDownward) Merge.kif 11094-11094 向上运动 和 % 2 是 disjoint
(subclass Bowing MotionDownward) Mid-level-ontology.kif 13130-13130 鞠躬向下运动subclass
(subclass Ducking MotionDownward) Mid-level-ontology.kif 13147-13147 回避向下运动subclass
(subclass Falling MotionDownward) Merge.kif 11627-11627 落下向下运动subclass
(subclass Inclining MotionDownward) Mid-level-ontology.kif 13123-13123 倾斜向下运动subclass
(subclass LyingDown MotionDownward) Mid-level-ontology.kif 19888-19888 躺着向下运动subclass
(subclass SittingDown MotionDownward) Mid-level-ontology.kif 19933-19933 坐下向下运动subclass
(termFormat ChineseLanguage MotionDownward "向下运动") domainEnglishFormat.kif 38723-38723
(termFormat ChineseTraditionalLanguage MotionDownward "向下運動") domainEnglishFormat.kif 38722-38722
(termFormat EnglishLanguage MotionDownward "motion downward") domainEnglishFormat.kif 38721-38721

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


(=>
    (instance ?E Elevator)
    (and
        (capability MotionUpward instrument ?E)
        (capability MotionDownward instrument ?E)))
Mid-level-ontology.kif 15469-15473
(=>
    (instance ?H HoistingDevice)
    (capability MotionDownward instrument ?H))
Mid-level-ontology.kif 2482-2484
(=>
    (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 1302-1311
(=>
    (instance ?LADDER Ladder)
    (and
        (capability MotionUpward instrument ?LADDER)
        (capability MotionDownward instrument ?LADDER)))
Mid-level-ontology.kif 15140-15144
(=>
    (instance ?R Ramp)
    (capability MotionDownward path ?R))
Mid-level-ontology.kif 2363-2365
(=>
    (instance ?S Stairway)
    (and
        (capability MotionUpward instrument ?S)
        (capability MotionDownward instrument ?S)))
Mid-level-ontology.kif 15094-15098
(=>
    (instance ?STEPS Steps)
    (and
        (capability MotionUpward instrument ?STEPS)
        (capability MotionDownward instrument ?STEPS)))
Mid-level-ontology.kif 15118-15122


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