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 11205-11206
(documentation MotionDownward JapaneseLanguage "Object が地面に向かって移動している Motion。") japanese_format.kif 1760-1761
(subclass MotionDownward Motion) Merge.kif 11203-11203 MotionDownward est une sous-classe de d�palcement

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


(disjoint MotionUpward MotionDownward) Merge.kif 11198-11198 MotionUpward est disjoint de MotionDownward
(subclass Bowing MotionDownward) Mid-level-ontology.kif 14434-14434 Bowing est une sous-classe de MotionDownward
(subclass Ducking MotionDownward) Mid-level-ontology.kif 14451-14451 Ducking est une sous-classe de MotionDownward
(subclass Falling MotionDownward) Merge.kif 11731-11731 Falling est une sous-classe de MotionDownward
(subclass Inclining MotionDownward) Mid-level-ontology.kif 14427-14427 Inclining est une sous-classe de MotionDownward
(subclass LyingDown MotionDownward) Mid-level-ontology.kif 21448-21448 LyingDown est une sous-classe de MotionDownward
(subclass SittingDown MotionDownward) Mid-level-ontology.kif 21493-21493 SittingDown est une sous-classe de MotionDownward
(termFormat ChineseLanguage MotionDownward "向下运动") domainEnglishFormat.kif 38732-38732 SittingDown est une sous-classe de MotionDownward
(termFormat ChineseTraditionalLanguage MotionDownward "向下運動") domainEnglishFormat.kif 38731-38731 SittingDown est une sous-classe de MotionDownward
(termFormat EnglishLanguage MotionDownward "motion downward") domainEnglishFormat.kif 38730-38730 SittingDown est une sous-classe de MotionDownward

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


(=>
    (instance ?E Elevator)
    (and
        (capability MotionUpward instrument ?E)
        (capability MotionDownward instrument ?E)))
Mid-level-ontology.kif 16815-16819
(=>
    (instance ?H HoistingDevice)
    (capability MotionDownward instrument ?H))
Mid-level-ontology.kif 2952-2954
(=>
    (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 2034-2043
(=>
    (instance ?LADDER Ladder)
    (and
        (capability MotionUpward instrument ?LADDER)
        (capability MotionDownward instrument ?LADDER)))
Mid-level-ontology.kif 16486-16490
(=>
    (instance ?R Ramp)
    (capability MotionDownward path ?R))
Mid-level-ontology.kif 2833-2835
(=>
    (instance ?S Stairway)
    (and
        (capability MotionUpward instrument ?S)
        (capability MotionDownward instrument ?S)))
Mid-level-ontology.kif 16440-16444
(=>
    (instance ?STEPS Steps)
    (and
        (capability MotionUpward instrument ?STEPS)
        (capability MotionDownward instrument ?STEPS)))
Mid-level-ontology.kif 16464-16468


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