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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 11067-11068
(documentation MotionDownward JapaneseLanguage "Object が地面に向かって移動している Motion。") japanese_format.kif 1760-1761
(subclass MotionDownward Motion) Merge.kif 11065-11065 MotionDownward e' uma sub-classe de Movimento

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


(disjoint MotionUpward MotionDownward) Merge.kif 11060-11060 MotionUpward e' disjunto de MotionDownward
(subclass Bowing MotionDownward) Mid-level-ontology.kif 13103-13103 Bowing e' uma sub-classe de MotionDownward
(subclass Ducking MotionDownward) Mid-level-ontology.kif 13120-13120 Ducking e' uma sub-classe de MotionDownward
(subclass Falling MotionDownward) Merge.kif 11581-11581 Falling e' uma sub-classe de MotionDownward
(subclass Inclining MotionDownward) Mid-level-ontology.kif 13096-13096 Inclining e' uma sub-classe de MotionDownward
(subclass LyingDown MotionDownward) Mid-level-ontology.kif 19861-19861 LyingDown e' uma sub-classe de MotionDownward
(subclass SittingDown MotionDownward) Mid-level-ontology.kif 19906-19906 SittingDown e' uma sub-classe de MotionDownward
(termFormat ChineseLanguage MotionDownward "向下运动") domainEnglishFormat.kif 38721-38721
(termFormat ChineseTraditionalLanguage MotionDownward "向下運動") domainEnglishFormat.kif 38720-38720
(termFormat EnglishLanguage MotionDownward "motion downward") domainEnglishFormat.kif 38719-38719

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


(=>
    (instance ?E Elevator)
    (and
        (capability MotionUpward instrument ?E)
        (capability MotionDownward instrument ?E)))
Mid-level-ontology.kif 15442-15446
(=>
    (instance ?H HoistingDevice)
    (capability MotionDownward instrument ?H))
Mid-level-ontology.kif 2489-2491
(=>
    (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 15113-15117
(=>
    (instance ?R Ramp)
    (capability MotionDownward path ?R))
Mid-level-ontology.kif 2370-2372
(=>
    (instance ?S Stairway)
    (and
        (capability MotionUpward instrument ?S)
        (capability MotionDownward instrument ?S)))
Mid-level-ontology.kif 15067-15071
(=>
    (instance ?STEPS Steps)
    (and
        (capability MotionUpward instrument ?STEPS)
        (capability MotionDownward instrument ?STEPS)))
Mid-level-ontology.kif 15091-15095


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 is open source software produced by Articulate Software and its partners