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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MotionDownward
MotionDownward

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 10314-10315
(subclass MotionDownward Motion) Merge.kif 10312-10312

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


(disjoint MotionUpward MotionDownward) Merge.kif 10307-10307
(subclass Bowing MotionDownward) Mid-level-ontology.kif 10763-10763
(subclass Ducking MotionDownward) Mid-level-ontology.kif 10780-10780
(subclass Falling MotionDownward) Merge.kif 10781-10781
(subclass Inclining MotionDownward) Mid-level-ontology.kif 10756-10756
(subclass LyingDown MotionDownward) Mid-level-ontology.kif 17672-17672
(subclass SittingDown MotionDownward) Mid-level-ontology.kif 17717-17717
(termFormat ChineseLanguage MotionDownward "向下运动") domainEnglishFormat.kif 38617-38617
(termFormat ChineseTraditionalLanguage MotionDownward "向下運動") domainEnglishFormat.kif 38616-38616
(termFormat EnglishLanguage MotionDownward "motion downward") domainEnglishFormat.kif 38615-38615

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


(=>
    (instance ?E Elevator)
    (and
        (capability MotionUpward instrument ?E)
        (capability MotionDownward instrument ?E)))		 Mid-level-ontology.kif 13178-13182
(=>
    (instance ?H HoistingDevice)
    (capability MotionDownward instrument ?H))		 Mid-level-ontology.kif 2951-2953
(=>
    (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 12857-12861
(=>
    (instance ?R Ramp)
    (capability MotionDownward path ?R))		 Mid-level-ontology.kif 2832-2834
(=>
    (instance ?S Stairway)
    (and
        (capability MotionUpward instrument ?S)
        (capability MotionDownward instrument ?S)))		 Mid-level-ontology.kif 12811-12815
(=>
    (instance ?STEPS Steps)
    (and
        (capability MotionUpward instrument ?STEPS)
        (capability MotionDownward instrument ?STEPS)))		 Mid-level-ontology.kif 12835-12839


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