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

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 11101-11102
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 11099-11099	MotionDownward e' uma sub-classe de Movimento

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11094-11094	MotionUpward e' disjunto de MotionDownward
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13130-13130	Bowing e' uma sub-classe de MotionDownward
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13147-13147	Ducking e' uma sub-classe de MotionDownward
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11627-11627	Falling e' uma sub-classe de MotionDownward
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13123-13123	Inclining e' uma sub-classe de MotionDownward
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19888-19888	LyingDown e' uma sub-classe de MotionDownward
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19933-19933	SittingDown e' uma sub-classe de MotionDownward
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38723-38723
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38722-38722
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38721-38721

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15469-15473	Objeto e' uma instancia de Elevator Objeto e' capaz de fazer MotionUpward no role instrument Objeto e' capaz de fazer MotionDownward no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2482-2484	Objeto e' uma instancia de HoistingDevice Objeto e' capaz de fazer MotionDownward no role instrument
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1302-1311	Processo e' uma instancia de Haboob Processo Processo and Entidade Processo e' uma instancia de Thunderstorm Processo e' uma instancia de MotionDownward Entidade e' uma instancia de Air Entidade e' um patient de Processo Processo e' um sub-processo de Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15140-15144	Objeto e' uma instancia de Ladder Objeto e' capaz de fazer MotionUpward no role instrument Objeto e' capaz de fazer MotionDownward no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2363-2365	Objeto e' uma instancia de Ramp Objeto e' capaz de fazer MotionDownward no role path
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15094-15098	Objeto e' uma instancia de Stairway Objeto e' capaz de fazer MotionUpward no role instrument Objeto e' capaz de fazer MotionDownward no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15118-15122	Objeto e' uma instancia de Steps Objeto e' capaz de fazer MotionUpward no role instrument Objeto e' capaz de fazer MotionDownward no role 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