MotionDownward - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MotionDownward

MotionDownward(motion downward)

droop, drop, drop_down, duck, fall, flag, flow, hang, pounce, sag, sink, stoop, subside, swag, swoop

appearance as argument number 1

(documentation MotionDownward ChineseLanguage "这是当一个 Object 移向地面的 Motion。")	chinese_format.kif 2999-2999
(documentation MotionDownward EnglishLanguage "Motion where an Object is moving toward the ground.")	Merge.kif 11130-11131
(documentation MotionDownward JapaneseLanguage "Object が地面に向かって移動している Motion。")	japanese_format.kif 1760-1761
(subclass MotionDownward Motion)	Merge.kif 11128-11128	Motion downward is a subclass of motion

appearance as argument number 2

(disjoint MotionUpward MotionDownward)	Merge.kif 11123-11123	Motion upward is disjoint from motion downward
(subclass Bowing MotionDownward)	Mid-level-ontology.kif 13999-13999	Bowing is a subclass of motion downward
(subclass Ducking MotionDownward)	Mid-level-ontology.kif 14016-14016	Ducking is a subclass of motion downward
(subclass Falling MotionDownward)	Merge.kif 11656-11656	Falling is a subclass of motion downward
(subclass Inclining MotionDownward)	Mid-level-ontology.kif 13992-13992	Inclining is a subclass of motion downward
(subclass LyingDown MotionDownward)	Mid-level-ontology.kif 20950-20950	Lying down is a subclass of motion downward
(subclass SittingDown MotionDownward)	Mid-level-ontology.kif 20995-20995	Sitting down is a subclass of motion downward
(termFormat ChineseLanguage MotionDownward "向下运动")	domainEnglishFormat.kif 38749-38749	Sitting down is a subclass of motion downward
(termFormat ChineseTraditionalLanguage MotionDownward "向下運動")	domainEnglishFormat.kif 38748-38748	Sitting down is a subclass of motion downward
(termFormat EnglishLanguage MotionDownward "motion downward")	domainEnglishFormat.kif 38747-38747	Sitting down is a subclass of motion downward

consequent

(=> (instance ?E Elevator) (and (capability MotionUpward instrument ?E) (capability MotionDownward instrument ?E)))	Mid-level-ontology.kif 16370-16374	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 MotionDownward instrument ?H))	Mid-level-ontology.kif 2555-2557	If an object is an instance of hoisting device, then the object is capable of doing motion downward as a instrument
(=> (instance ?HABOOB Haboob) (exists (?TS ?DM ?A) (and (instance ?TS Thunderstorm) (instance ?DM MotionDownward) (instance ?A Air) (patient ?DM ?A) (subProcess ?DM ?TS) (causes ?DM ?HABOOB))))	Weather.kif 1302-1311	If a process is an instance of Haboob, then there exist another process, a third process and an entity such that the other process is an instance of thunderstorm and the third process is an instance of motion downward and the entity is an instance of air and the entity is a patient of the third process and the third process is a subprocess of the other process and the third process causes the process
(=> (instance ?LADDER Ladder) (and (capability MotionUpward instrument ?LADDER) (capability MotionDownward instrument ?LADDER)))	Mid-level-ontology.kif 16041-16045	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 MotionDownward path ?R))	Mid-level-ontology.kif 2436-2438	If an object is an instance of ramp, then the object is capable of doing motion downward as a path
(=> (instance ?S Stairway) (and (capability MotionUpward instrument ?S) (capability MotionDownward instrument ?S)))	Mid-level-ontology.kif 15995-15999	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 16019-16023	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

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