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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MotionUpward
MotionUpward(向上运动)

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


(disjoint MotionUpward MotionDownward) Merge.kif 10930-10930 向上运动 和 % 2 是 disjoint
(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 10932-10933
(subclass MotionUpward Motion) Merge.kif 10929-10929 向上运动运动subclass

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


(subclass Jumping MotionUpward) Mid-level-ontology.kif 533-533 跳跃向上运动subclass
(subclass StandingUp MotionUpward) Mid-level-ontology.kif 19246-19246 站起来向上运动subclass
(termFormat ChineseLanguage MotionUpward "向上运动") domainEnglishFormat.kif 38760-38760
(termFormat ChineseTraditionalLanguage MotionUpward "向上運動") domainEnglishFormat.kif 38759-38759
(termFormat EnglishLanguage MotionUpward "motion upward") domainEnglishFormat.kif 38758-38758

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


(=>
    (instance ?E Elevator)
    (and
        (capability MotionUpward instrument ?E)
        (capability MotionDownward instrument ?E)))
Mid-level-ontology.kif 14886-14890
(=>
    (instance ?H HoistingDevice)
    (capability MotionUpward instrument ?H))
Mid-level-ontology.kif 2440-2442
(=>
    (instance ?LADDER Ladder)
    (and
        (capability MotionUpward instrument ?LADDER)
        (capability MotionDownward instrument ?LADDER)))
Mid-level-ontology.kif 14557-14561
(=>
    (instance ?R Ramp)
    (capability MotionUpward path ?R))
Mid-level-ontology.kif 2321-2323
(=>
    (instance ?S Stairway)
    (and
        (capability MotionUpward instrument ?S)
        (capability MotionDownward instrument ?S)))
Mid-level-ontology.kif 14511-14515
(=>
    (instance ?STEPS Steps)
    (and
        (capability MotionUpward instrument ?STEPS)
        (capability MotionDownward instrument ?STEPS)))
Mid-level-ontology.kif 14535-14539
(=>
    (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 2915-2928


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