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 11094-11094 不相交的 向上運動 and 向下運動
(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 11096-11097
(documentation MotionUpward JapaneseLanguage "Object が地面から離れて移動している Motion 。") japanese_format.kif 1758-1759
(subclass MotionUpward Motion) Merge.kif 11093-11093 子類 向上運動 and Motion

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


(subclass Jumping MotionUpward) Mid-level-ontology.kif 537-537 子類 跳躍 and 向上運動
(subclass StandingUp MotionUpward) Mid-level-ontology.kif 19950-19950 子類 站起來 and 向上運動
(termFormat ChineseLanguage MotionUpward "向上运动") domainEnglishFormat.kif 38777-38777
(termFormat ChineseTraditionalLanguage MotionUpward "向上運動") domainEnglishFormat.kif 38776-38776
(termFormat EnglishLanguage MotionUpward "motion upward") domainEnglishFormat.kif 38775-38775

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


(=>
    (instance ?E Elevator)
    (and
        (capability MotionUpward instrument ?E)
        (capability MotionDownward instrument ?E)))		 Mid-level-ontology.kif 15469-15473
(=>
    (instance ?H HoistingDevice)
    (capability MotionUpward instrument ?H))		 Mid-level-ontology.kif 2478-2480
(=>
    (instance ?LADDER Ladder)
    (and
        (capability MotionUpward instrument ?LADDER)
        (capability MotionDownward instrument ?LADDER)))		 Mid-level-ontology.kif 15140-15144
(=>
    (instance ?R Ramp)
    (capability MotionUpward path ?R))		 Mid-level-ontology.kif 2359-2361
(=>
    (instance ?S Stairway)
    (and
        (capability MotionUpward instrument ?S)
        (capability MotionDownward instrument ?S)))		 Mid-level-ontology.kif 15094-15098
(=>
    (instance ?STEPS Steps)
    (and
        (capability MotionUpward instrument ?STEPS)
        (capability MotionDownward instrument ?STEPS)))		 Mid-level-ontology.kif 15118-15122
(=>
    (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 2899-2912


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