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, move_up, pick_up, raise, rise, rise_up, surface, underlay, uprise

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


(disjoint MotionUpward MotionDownward) Merge.kif 11123-11123 Motion upward is disjoint from motion downward
(documentation MotionUpward ChineseLanguage "这是当一个 Object 移离地面的 Motion。") chinese_format.kif 2998-2998 Motion upward is disjoint from motion downward
(documentation MotionUpward EnglishLanguage "Motion where an Object is moving away from the ground.") Merge.kif 11125-11126 Motion upward is disjoint from motion downward
(documentation MotionUpward JapaneseLanguage "Object が地面から離れて移動している Motion 。") japanese_format.kif 1758-1759 Motion upward is disjoint from motion downward
(subclass MotionUpward Motion) Merge.kif 11122-11122 Motion upward is a subclass of motion

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


(subclass Jumping MotionUpward) Mid-level-ontology.kif 537-537 Jumping is a subclass of motion upward
(subclass StandingUp MotionUpward) Mid-level-ontology.kif 21012-21012 Standing up is a subclass of motion upward
(termFormat ChineseLanguage MotionUpward "向上运动") domainEnglishFormat.kif 38803-38803 Standing up is a subclass of motion upward
(termFormat ChineseTraditionalLanguage MotionUpward "向上運動") domainEnglishFormat.kif 38802-38802 Standing up is a subclass of motion upward
(termFormat EnglishLanguage MotionUpward "motion upward") domainEnglishFormat.kif 38801-38801 Standing up is a subclass of motion upward

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


(=>
    (instance ?E Elevator)
    (and
        (capability MotionUpward instrument ?E)
        (capability MotionDownward instrument ?E)))
Mid-level-ontology.kif 16370-16374
(=>
    (instance ?H HoistingDevice)
    (capability MotionUpward instrument ?H))
Mid-level-ontology.kif 2551-2553
(=>
    (instance ?LADDER Ladder)
    (and
        (capability MotionUpward instrument ?LADDER)
        (capability MotionDownward instrument ?LADDER)))
Mid-level-ontology.kif 16041-16045
(=>
    (instance ?R Ramp)
    (capability MotionUpward path ?R))
Mid-level-ontology.kif 2432-2434
(=>
    (instance ?S Stairway)
    (and
        (capability MotionUpward instrument ?S)
        (capability MotionDownward instrument ?S)))
Mid-level-ontology.kif 15995-15999
(=>
    (instance ?STEPS Steps)
    (and
        (capability MotionUpward instrument ?STEPS)
        (capability MotionDownward instrument ?STEPS)))
Mid-level-ontology.kif 16019-16023
(=>
    (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 2898-2911


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