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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MotionDownward
MotionDownward(motion downward)droop, drop, drop_down, duck, fall, flag, flow, hang, motion_downward, pounce, sag, sink, stoop, subside, swag, swoop, 向下运动, 向下運動

VerbNet: spatial_configuration-47.6|swag, escape-51.1|fall, spatial_configuration-47.6|swag, entity_specific_modes_being-47.2|flow, crane-40.3.2|hang, run-51.3.2|pounce, spatial_configuration-47.6|swag, other_cos-45.4|sink, assuming_position-50|stoop, spatial_configuration-47.6|swag, run-51.3.2|pounce,


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 10213-10214
(subclass MotionDownward Motion) Merge.kif 10211-10211 Motion downward is a subclass of motion

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


(disjoint MotionUpward MotionDownward) Merge.kif 10206-10206 Motion upward is disjoint from motion downward
(subclass Bowing MotionDownward) Mid-level-ontology.kif 10710-10710 Bowing is a subclass of motion downward
(subclass Ducking MotionDownward) Mid-level-ontology.kif 10727-10727 Ducking is a subclass of motion downward
(subclass Falling MotionDownward) Merge.kif 10680-10680 Falling is a subclass of motion downward
(subclass Inclining MotionDownward) Mid-level-ontology.kif 10703-10703 Inclining is a subclass of motion downward
(subclass LyingDown MotionDownward) Mid-level-ontology.kif 17619-17619 Lying down is a subclass of motion downward
(subclass SittingDown MotionDownward) Mid-level-ontology.kif 17664-17664 Sitting down is a subclass of motion downward
(termFormat ChineseLanguage MotionDownward "向下运动") domainEnglishFormat.kif 38641-38641 "向下运动" is the printable form of motion downward in ChineseLanguage
(termFormat ChineseTraditionalLanguage MotionDownward "向下運動") domainEnglishFormat.kif 38640-38640 "向下運動" is the printable form of motion downward in ChineseTraditionalLanguage
(termFormat EnglishLanguage MotionDownward "motion downward") domainEnglishFormat.kif 38639-38639 "motion downward" is the printable form of motion downward in english language

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


(=>
    (instance ?E Elevator)
    (and
        (capability MotionUpward instrument ?E)
        (capability MotionDownward instrument ?E)))
Mid-level-ontology.kif 13125-13129
(=>
    (instance ?H HoistingDevice)
    (capability MotionDownward instrument ?H))
Mid-level-ontology.kif 2945-2947
(=>
    (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 948-957
(=>
    (instance ?LADDER Ladder)
    (and
        (capability MotionUpward instrument ?LADDER)
        (capability MotionDownward instrument ?LADDER)))
Mid-level-ontology.kif 12804-12808
(=>
    (instance ?R Ramp)
    (capability MotionDownward path ?R))
Mid-level-ontology.kif 2826-2828
(=>
    (instance ?S Stairway)
    (and
        (capability MotionUpward instrument ?S)
        (capability MotionDownward instrument ?S)))
Mid-level-ontology.kif 12758-12762
(=>
    (instance ?STEPS Steps)
    (and
        (capability MotionUpward instrument ?STEPS)
        (capability MotionDownward instrument ?STEPS)))
Mid-level-ontology.kif 12782-12786


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners