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 11198-11198 MotionUpward est disjoint de MotionDownward
(documentation MotionUpward ChineseLanguage "这是当一个 Object 移离地面的 Motion。") chinese_format.kif 2998-2998 MotionUpward est disjoint de MotionDownward
(documentation MotionUpward EnglishLanguage "Motion where an Object is moving away from the ground.") Merge.kif 11200-11201 MotionUpward est disjoint de MotionDownward
(documentation MotionUpward JapaneseLanguage "Object が地面から離れて移動している Motion 。") japanese_format.kif 1758-1759 MotionUpward est disjoint de MotionDownward
(subclass MotionUpward Motion) Merge.kif 11197-11197 MotionUpward est une sous-classe de d�palcement

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


(subclass Jumping MotionUpward) Mid-level-ontology.kif 537-537 Jumping est une sous-classe de MotionUpward
(subclass StandingUp MotionUpward) Mid-level-ontology.kif 21498-21498 StandingUp est une sous-classe de MotionUpward
(termFormat ChineseLanguage MotionUpward "向上运动") domainEnglishFormat.kif 38786-38786 StandingUp est une sous-classe de MotionUpward
(termFormat ChineseTraditionalLanguage MotionUpward "向上運動") domainEnglishFormat.kif 38785-38785 StandingUp est une sous-classe de MotionUpward
(termFormat EnglishLanguage MotionUpward "motion upward") domainEnglishFormat.kif 38784-38784 StandingUp est une sous-classe de MotionUpward

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


(=>
    (instance ?E Elevator)
    (and
        (capability MotionUpward instrument ?E)
        (capability MotionDownward instrument ?E)))		 Mid-level-ontology.kif 16804-16808
(=>
    (instance ?H HoistingDevice)
    (capability MotionUpward instrument ?H))		 Mid-level-ontology.kif 2948-2950
(=>
    (instance ?LADDER Ladder)
    (and
        (capability MotionUpward instrument ?LADDER)
        (capability MotionDownward instrument ?LADDER)))		 Mid-level-ontology.kif 16475-16479
(=>
    (instance ?R Ramp)
    (capability MotionUpward path ?R))		 Mid-level-ontology.kif 2829-2831
(=>
    (instance ?S Stairway)
    (and
        (capability MotionUpward instrument ?S)
        (capability MotionDownward instrument ?S)))		 Mid-level-ontology.kif 16429-16433
(=>
    (instance ?STEPS Steps)
    (and
        (capability MotionUpward instrument ?STEPS)
        (capability MotionDownward instrument ?STEPS)))		 Mid-level-ontology.kif 16453-16457
(=>
    (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 3746-3759
(=>
    (instance ?W ValleyBreeze)
    (exists (?BOTTOM ?A ?H ?AIR ?M)
        (and
            (origin ?W ?BOTTOM)
            (bottom ?BOTTOM ?A)
            (instance ?A SlopedArea)
            (instance ?H Heating)
            (patient ?H ?AIR)
            (orientation ?AIR ?BOTTOM Above)
            (cause ?H ?M)
            (instance ?M MotionUpward)
            (subProcess ?M ?W))))		 Weather.kif 2146-2158


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