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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MotionUpward
MotionUpward(motion upward)arise, ascend, ascending, ascension, ascent, bring_up, come_up, elevate, emerge, gather_up, get_up, go_up, levitate, levitation, lift, lift_up, motion_upward, move_up, pick_up, raise, rise, rise_up, surface, underlay, uprise, 向上运动, 向上運動

VerbNet: escape-51.1|rise, escape-51.1|ascend, put_direction-9.4|raise, escape-51.1|rise, put_direction-9.4|raise, appear-48.1.1|emerge, put_direction-9.4|raise, escape-51.1|ascend, put_direction-9.4|raise, escape-51.1|rise, put_direction-9.4|raise, escape-51.1|rise, escape-51.1|rise, escape-51.1|rise, put_spatial-9.2|underlay, escape-51.1|rise,


appearance as argument number 1
-------------------------


(disjoint MotionUpward MotionDownward) Merge.kif 10206-10206 Motion upward is disjoint from motion downward
(documentation MotionUpward ChineseLanguage "这是当一个 Object 移离地面的 Motion。") chinese_format.kif 2998-2998
(documentation MotionUpward EnglishLanguage "Motion where an Object is moving away from the ground.") Merge.kif 10208-10209
(subclass MotionUpward Motion) Merge.kif 10205-10205 Motion upward is a subclass of motion

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


(subclass Jumping MotionUpward) Mid-level-ontology.kif 721-721 Jumping is a subclass of motion upward
(subclass StandingUp MotionUpward) Mid-level-ontology.kif 17681-17681 Standing up is a subclass of motion upward
(termFormat ChineseLanguage MotionUpward "向上运动") domainEnglishFormat.kif 38695-38695 "向上运动" is the printable form of motion upward in ChineseLanguage
(termFormat ChineseTraditionalLanguage MotionUpward "向上運動") domainEnglishFormat.kif 38694-38694 "向上運動" is the printable form of motion upward in ChineseTraditionalLanguage
(termFormat EnglishLanguage MotionUpward "motion upward") domainEnglishFormat.kif 38693-38693 "motion upward" is the printable form of motion upward 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 MotionUpward instrument ?H))
Mid-level-ontology.kif 2941-2943
(=>
    (instance ?LADDER Ladder)
    (and
        (capability MotionUpward instrument ?LADDER)
        (capability MotionDownward instrument ?LADDER)))
Mid-level-ontology.kif 12804-12808
(=>
    (instance ?R Ramp)
    (capability MotionUpward path ?R))
Mid-level-ontology.kif 2822-2824
(=>
    (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
(=>
    (instance ?STORM Storm)
    (holdsDuring
        (WhenFn ?STORM)
        (exists (?LOW ?AREA ?AIR ?RISE)
            (and
                (instance ?LOW LowPressureWeatherSystem)
                (instance ?AREA Region)
                (eventLocated ?LOW ?AREA)
                (instance ?AIR Air)
                (instance ?RISE MotionUpward)
                (patient ?RISE ?AIR)
                (eventLocated ?RISE ?AREA)
                (subProcess ?RISE ?LOW)))))
Weather.kif 1442-1455


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