MotionUpward - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - MotionUpward

MotionUpward(motion upward)

arise, ascend, ascending, ascension, ascent, bring_up, come_up, elevate, emerge, gather_up, get_up, go_up, levitate, levitation, lift, lift_up, move_up, pick_up, raise, rise, rise_up, surface, underlay, uprise

appearance as argument number 1

(disjoint MotionUpward MotionDownward)	Merge.kif 11183-11183	Motion upward is disjoint from motion downward
(documentation MotionUpward ChineseLanguage "这是当一个 Object 移离地面的 Motion。")	chinese_format.kif 2998-2998	Motion upward is disjoint from motion downward
(documentation MotionUpward EnglishLanguage "Motion where an Object is moving away from the ground.")	Merge.kif 11185-11186	Motion upward is disjoint from motion downward
(documentation MotionUpward JapaneseLanguage "Object が地面から離れて移動している Motion 。")	japanese_format.kif 1758-1759	Motion upward is disjoint from motion downward
(subclass MotionUpward Motion)	Merge.kif 11182-11182	Motion upward is a subclass of motion

appearance as argument number 2

(subclass Jumping MotionUpward)	Mid-level-ontology.kif 537-537	Jumping is a subclass of motion upward
(subclass StandingUp MotionUpward)	Mid-level-ontology.kif 21510-21510	Standing up is a subclass of motion upward
(termFormat ChineseLanguage MotionUpward "向上运动")	domainEnglishFormat.kif 38786-38786	Standing up is a subclass of motion upward
(termFormat ChineseTraditionalLanguage MotionUpward "向上運動")	domainEnglishFormat.kif 38785-38785	Standing up is a subclass of motion upward
(termFormat EnglishLanguage MotionUpward "motion upward")	domainEnglishFormat.kif 38784-38784	Standing up is a subclass of motion upward

consequent

(=> (instance ?E Elevator) (and (capability MotionUpward instrument ?E) (capability MotionDownward instrument ?E)))	Mid-level-ontology.kif 16815-16819	If an object is an instance of elevator, then the object is capable of doing motion upward as a instrument and the object is capable of doing motion downward as a instrument
(=> (instance ?H HoistingDevice) (capability MotionUpward instrument ?H))	Mid-level-ontology.kif 2948-2950	If an object is an instance of hoisting device, then the object is capable of doing motion upward as a instrument
(=> (instance ?LADDER Ladder) (and (capability MotionUpward instrument ?LADDER) (capability MotionDownward instrument ?LADDER)))	Mid-level-ontology.kif 16486-16490	If an object is an instance of ladder, then the object is capable of doing motion upward as a instrument and the object is capable of doing motion downward as a instrument
(=> (instance ?R Ramp) (capability MotionUpward path ?R))	Mid-level-ontology.kif 2829-2831	If an object is an instance of ramp, then the object is capable of doing motion upward as a path
(=> (instance ?S Stairway) (and (capability MotionUpward instrument ?S) (capability MotionDownward instrument ?S)))	Mid-level-ontology.kif 16440-16444	If an object is an instance of stairway, then the object is capable of doing motion upward as a instrument and the object is capable of doing motion downward as a instrument
(=> (instance ?STEPS Steps) (and (capability MotionUpward instrument ?STEPS) (capability MotionDownward instrument ?STEPS)))	Mid-level-ontology.kif 16464-16468	If an object is an instance of steps, then the object is capable of doing motion upward as a instrument and the object is capable of doing motion downward as a instrument
(=> (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 3433-3446	If a physical is an instance of storm, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of low pressure weather system and the other entity is an instance of region and the entity is located at the other entity and the third entity is an instance of air and the fourth entity is an instance of motion upward and the third entity is a patient of the fourth entity and the fourth entity is located at the other entity and the fourth entity is a subprocess of the entity holds during the time of existence of the physical

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