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, pounce, sag, sink, stoop, subside, swag, swoop

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 11001-11002
(subclass MotionDownward Motion) Merge.kif 10999-10999 Motion downward is a subclass of motion

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


(disjoint MotionUpward MotionDownward) Merge.kif 10994-10994 Motion upward is disjoint from motion downward
(subclass Bowing MotionDownward) Mid-level-ontology.kif 12951-12951 Bowing is a subclass of motion downward
(subclass Ducking MotionDownward) Mid-level-ontology.kif 12968-12968 Ducking is a subclass of motion downward
(subclass Falling MotionDownward) Merge.kif 11501-11501 Falling is a subclass of motion downward
(subclass Inclining MotionDownward) Mid-level-ontology.kif 12944-12944 Inclining is a subclass of motion downward
(subclass LyingDown MotionDownward) Mid-level-ontology.kif 19643-19643 Lying down is a subclass of motion downward
(subclass SittingDown MotionDownward) Mid-level-ontology.kif 19688-19688 Sitting down is a subclass of motion downward
(termFormat ChineseLanguage MotionDownward "向下运动") domainEnglishFormat.kif 38701-38701
(termFormat ChineseTraditionalLanguage MotionDownward "向下運動") domainEnglishFormat.kif 38700-38700
(termFormat EnglishLanguage MotionDownward "motion downward") domainEnglishFormat.kif 38699-38699

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


(=>
    (instance ?E Elevator)
    (and
        (capability MotionUpward instrument ?E)
        (capability MotionDownward instrument ?E)))
Mid-level-ontology.kif 15289-15293
(=>
    (instance ?H HoistingDevice)
    (capability MotionDownward instrument ?H))
Mid-level-ontology.kif 2454-2456
(=>
    (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 14960-14964
(=>
    (instance ?R Ramp)
    (capability MotionDownward path ?R))
Mid-level-ontology.kif 2335-2337
(=>
    (instance ?S Stairway)
    (and
        (capability MotionUpward instrument ?S)
        (capability MotionDownward instrument ?S)))
Mid-level-ontology.kif 14914-14918
(=>
    (instance ?STEPS Steps)
    (and
        (capability MotionUpward instrument ?STEPS)
        (capability MotionDownward instrument ?STEPS)))
Mid-level-ontology.kif 14938-14942


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