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

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


(disjoint MotionUpward MotionDownward) Merge.kif 11183-11183
(subclass Bowing MotionDownward) Mid-level-ontology.kif 14452-14452
(subclass Ducking MotionDownward) Mid-level-ontology.kif 14469-14469
(subclass Falling MotionDownward) Merge.kif 11716-11716
(subclass Inclining MotionDownward) Mid-level-ontology.kif 14445-14445
(subclass LyingDown MotionDownward) Mid-level-ontology.kif 21465-21465
(subclass SittingDown MotionDownward) Mid-level-ontology.kif 21510-21510
(termFormat ChineseLanguage MotionDownward "向下运动") domainEnglishFormat.kif 38749-38749
(termFormat ChineseTraditionalLanguage MotionDownward "向下運動") domainEnglishFormat.kif 38748-38748
(termFormat EnglishLanguage MotionDownward "motion downward") domainEnglishFormat.kif 38747-38747

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


(=>
    (instance ?E Elevator)
    (and
        (capability MotionUpward instrument ?E)
        (capability MotionDownward instrument ?E)))		 Mid-level-ontology.kif 16833-16837
(=>
    (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 1302-1311
(=>
    (instance ?LADDER Ladder)
    (and
        (capability MotionUpward instrument ?LADDER)
        (capability MotionDownward instrument ?LADDER)))		 Mid-level-ontology.kif 16504-16508
(=>
    (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 16458-16462
(=>
    (instance ?STEPS Steps)
    (and
        (capability MotionUpward instrument ?STEPS)
        (capability MotionDownward instrument ?STEPS)))		 Mid-level-ontology.kif 16482-16486


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