Falling - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Falling

Falling

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3062-3063
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11629-11631
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1830-1831
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6000-6000
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.	Merge.kif 11626-11626	Falling e' uma sub-classe de Translocation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11241-11241	Precipitation e' uma sub-classe de Falling
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13134-13134	Sinking e' uma sub-classe de Falling
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23176-23176
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23175-23175
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23174-23174

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 11633-11638

Processo e' uma instancia de Falling Processo tem como origem Objeto Processo termina em Objeto
Objeto e' Below em relacao a Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3374-3402	WearableItem e' uma instancia de SafetyHarness Animal e' uma instancia de Animal Animal usa WearableItem WearableItem tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo WearableItem e' um instrumento para Entidade Animal e' um patient de Entidade Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16438-16454	Dizzy e' um atributo de Entidade vale durante Posicao Temporal Entidade acredita que Posicao Temporal2 Posicao Temporal2 acontece durante Posicao Temporal Standing e' um atributo de Entidade vale durante Posicao Temporal2 Entidade Entidade e' uma instancia de Falling Entidade experimenta Entidade Posicao Temporal2 encontra tempo de existencia de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1337-1357	Processo e' uma instancia de BreakingWave Processo Objeto, Entidade and Transferencia Processo e' uma instancia de WaterWave Processo e' um sub-processo de Processo Objeto e' uma instancia de BodyOfWater Entidade e' uma instancia de BodyOfWater Entidade e' um patient de Processo Objeto e' um patient de Processo Transferencia e' uma instancia de Falling objectTransferred Transferencia and Objeto Objeto e' uma &parte de Entidade vale durante o comeco de tempo de existencia de Transferencia Objeto e' uma &parte de Entidade vale durante o fim de tempo de existencia de Transferencia
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5472-5483	Entidade e' uma instancia de Felling Processo Processo, Objeto and Objeto Processo e' uma instancia de Cortar Objeto e' um patient de Processo Objeto e' uma instancia de BotanicalTree Processo e' o resultado de Processo Processo e' uma instancia de Falling Objeto e' um patient de Processo Objeto e' uma instancia de PlantStem Objeto e' uma &parte de Objeto

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