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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2999-2999
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11089-11090
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1760-1761
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11087-11087	Motion downward is a subclass of motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11082-11082	Motion upward is disjoint from motion downward
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13102-13102	Bowing is a subclass of motion downward
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13119-13119	Ducking is a subclass of motion downward
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11603-11603	Falling is a subclass of motion downward
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13095-13095	Inclining is a subclass of motion downward
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19860-19860	Lying down is a subclass of motion downward
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19905-19905	Sitting down is a subclass of motion downward
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38721-38721
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38720-38720
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38719-38719

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15441-15445	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2489-2491	If an object is an instance of hoisting device, then the object is capable of doing motion downward as a instrument
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1314-1323	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15112-15116	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2370-2372	If an object is an instance of ramp, then the object is capable of doing motion downward as a path
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15066-15070	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15090-15094	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