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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MotionUpward

Sigma KEE - MotionUpward
MotionUpward

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


(disjoint MotionUpward MotionDownward) Merge.kif 10997-10997
(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 10999-11000
(subclass MotionUpward Motion) Merge.kif 10996-10996

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


(subclass Jumping MotionUpward) Mid-level-ontology.kif 539-539
(subclass StandingUp MotionUpward) Mid-level-ontology.kif 19704-19704
(termFormat ChineseLanguage MotionUpward "向上运动") domainEnglishFormat.kif 38759-38759
(termFormat ChineseTraditionalLanguage MotionUpward "向上運動") domainEnglishFormat.kif 38758-38758
(termFormat EnglishLanguage MotionUpward "motion upward") domainEnglishFormat.kif 38757-38757

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


(=>
    (instance ?E Elevator)
    (and
        (capability MotionUpward instrument ?E)
        (capability MotionDownward instrument ?E)))
Mid-level-ontology.kif 15288-15292
(=>
    (instance ?H HoistingDevice)
    (capability MotionUpward instrument ?H))
Mid-level-ontology.kif 2450-2452
(=>
    (instance ?LADDER Ladder)
    (and
        (capability MotionUpward instrument ?LADDER)
        (capability MotionDownward instrument ?LADDER)))
Mid-level-ontology.kif 14959-14963
(=>
    (instance ?R Ramp)
    (capability MotionUpward path ?R))
Mid-level-ontology.kif 2331-2333
(=>
    (instance ?S Stairway)
    (and
        (capability MotionUpward instrument ?S)
        (capability MotionDownward instrument ?S)))
Mid-level-ontology.kif 14913-14917
(=>
    (instance ?STEPS Steps)
    (and
        (capability MotionUpward instrument ?STEPS)
        (capability MotionDownward instrument ?STEPS)))
Mid-level-ontology.kif 14937-14941
(=>
    (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 2916-2929


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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