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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MotionUpward
MotionUpward

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 10307-10307
(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 10309-10310
(subclass MotionUpward Motion) Merge.kif 10306-10306

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


(subclass Jumping MotionUpward) Mid-level-ontology.kif 721-721
(subclass StandingUp MotionUpward) Mid-level-ontology.kif 17734-17734
(termFormat ChineseLanguage MotionUpward "向上运动") domainEnglishFormat.kif 38671-38671
(termFormat ChineseTraditionalLanguage MotionUpward "向上運動") domainEnglishFormat.kif 38670-38670
(termFormat EnglishLanguage MotionUpward "motion upward") domainEnglishFormat.kif 38669-38669

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


(=>
    (instance ?E Elevator)
    (and
        (capability MotionUpward instrument ?E)
        (capability MotionDownward instrument ?E)))		 Mid-level-ontology.kif 13178-13182
(=>
    (instance ?H HoistingDevice)
    (capability MotionUpward instrument ?H))		 Mid-level-ontology.kif 2947-2949
(=>
    (instance ?LADDER Ladder)
    (and
        (capability MotionUpward instrument ?LADDER)
        (capability MotionDownward instrument ?LADDER)))		 Mid-level-ontology.kif 12857-12861
(=>
    (instance ?R Ramp)
    (capability MotionUpward path ?R))		 Mid-level-ontology.kif 2828-2830
(=>
    (instance ?S Stairway)
    (and
        (capability MotionUpward instrument ?S)
        (capability MotionDownward instrument ?S)))		 Mid-level-ontology.kif 12811-12815
(=>
    (instance ?STEPS Steps)
    (and
        (capability MotionUpward instrument ?STEPS)
        (capability MotionDownward instrument ?STEPS)))		 Mid-level-ontology.kif 12835-12839
(=>
    (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