WaterMotion - Sigma 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 11268-11269
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 11266-11266	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 1538-1538	HeavySurf e' uma sub-classe de WaterMotion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11240-11240	Precipitation e' uma sub-classe de WaterMotion
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62429-62429
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62428-62428
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62427-62427

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 11271-11276	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 1613-1625	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 2022-2028	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 25501-25507	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 25523-25533	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 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

KB Term:			Term intersection

English Word: