TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3023-3024
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11234-11235
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1788-1789
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11232-11232	WaterMotion e' uma sub-classe de LiquidMotion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4694-4694	AntarcticCircumpolarCurrent e' uma instancia de WaterMotion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1555-1555	HeavySurf e' uma sub-classe de WaterMotion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11206-11206	Precipitation e' uma sub-classe de WaterMotion
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62427-62427
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62426-62426
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62425-62425

appearance as argument number 3

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

Geography.kif 5558-5558

O argumento numero 1 de flowCurrent e' uma instancia de WaterMotion

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5561-5570	Area Aquatica e' uma instancia de Waterfall WaterMotion e' uma instancia de WaterMotion flowCurrent WaterMotion and Area Aquatica WaterMotion tem como origem Objeto WaterMotion termina em Objeto Objeto e' uma instancia de Area Aquatica Objeto e' uma instancia de Area Aquatica Objeto e' Above em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11237-11242	Processo e' uma instancia de WaterMotion Entidade Entidade e' um patient de Processo Entidade e' uma instancia de Agua

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1630-1642	Processo e' uma instancia de FlashFlooding Processo Numero Real Processo e' uma instancia de WaterMotion Processo causa Processo tempo de existencia de Processo encontra tempo de existencia de Processo a duracao de tempo de existencia de Processo e' Numero Real HourDuration(s) Numero Real e' menos que 6.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2029-2035	Fisico e' uma instancia de Shower Fisico tem por fim Entidade Entidade e' uma instancia de WaterMotion Entidade tem como origem Fisico
No TPTP formula. May not be expressible in strict first order.	Food.kif 276-283	Entidade e' uma instancia de TapWater Processo Objeto Processo e' uma instancia de WaterMotion Entidade e' um patient de Processo Processo tem como origem Objeto Objeto e' uma instancia de Faucet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25444-25450	Fisico e' uma instancia de WaterSprinkler Fisico tem por fim FisicoM FisicoM e' uma instancia de WaterMotion FisicoM tem como origem Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25466-25476	Objeto e' uma instancia de FireSprinklerSystem Entidade Processo and Processo Processo e' uma instancia de Discovering Entidade e' uma instancia de Fire Objeto e' um instrumento para Processo Entidade e' um patient de Processo Processo e' uma instancia de WaterMotion Processo tem como origem Objeto Processo causa Processo

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: