Water - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3362-3363
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14330-14331
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 83-83
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5885-5885	mixturePartType Agua and SodiumLactate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31667-31667	roomTempState Agua and Liquid
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14329-14329	Agua e' uma sub-classe de Substancia Composta

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2847-2847	BrackishWater e' uma sub-classe de Agua
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2730-2730	FreshWater e' uma sub-classe de Agua
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2743-2743	GroundWater e' uma sub-classe de Agua
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8975-8975	Ice e' uma sub-classe de Agua
No TPTP formula. May not be expressible in strict first order.	Food.kif 237-237	PurifiedWater e' uma sub-classe de Agua
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2959-2959	Rain e' uma sub-classe de Agua
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2820-2820	SeaWater e' uma sub-classe de Agua
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25633-25633	Steam e' uma sub-classe de Agua
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 961-961
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1129-1129
No TPTP formula. May not be expressible in strict first order.	french_format.kif 638-638
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 169-169
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 172-172
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2322-2322
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 590-590
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 174-174
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 206-206
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 659-659
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 173-173

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1087-1092	Processo e' uma instancia de FreezingRain Entidade e' um patient de Processo Entidade e' uma instancia de Agua Solid e' um atributo de Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2561-2567	Processo e' uma instancia de Processo Fisico e' um patient de Processo Fisico e' uma instancia de Agua a medida de Fisico e' Numero Real PHValue(s) Numero Real e' menos que 5.6
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25304-25314	Objeto e' uma instancia de HotTub Fisico e' situado em Objeto Fisico e' uma instancia de Agua o argumento Entidade Entidade e' uma instancia de Aquecer Objeto e' um instrumento para Entidade Fisico e' um patient de Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2907-2909	Objeto e' uma instancia de Agua Objeto e' capaz de fazer Salination no role patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8781-8790	Entidade e' uma instancia de Agua Processo Objeto and Objeto Processo e' uma instancia de Sintese Quimica Objeto e' um recurso para Processo Objeto e' uma instancia de Hydrogen Objeto e' um recurso para Processo Objeto e' uma instancia de Oxygen Entidade e' o resultado de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8978-8982	Objeto e' uma instancia de Ice Objeto e' uma instancia de Agua Solid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	naics.kif 954-977	Colecao e' uma instancia de Organizacao Utilities e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Objeto Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Remover Objeto e' uma instancia de Sewage Objeto e' um patient de AutonomousAgent Objeto e' uma instancia de Eletron Objeto e' uma instancia de Agua Objeto e' uma instancia de Substancia Pura Objeto e' capaz de fazer Combustao no role patient Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Transacao Financeira AutonomousAgent2 e' um agente de Processo2 Objeto e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8773-8779	Objeto e' uma instancia de SalineSolution Objeto e' uma &parte de Objeto Objeto e' uma instancia de SodiumChloride Objeto e' uma instancia de Agua
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4114-4120	WaterBed e' um atributo de Objeto Corpuscular Objeto Corpuscular Objeto Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular contem Objeto Objeto e' uma instancia de Agua
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14440-14445	Organismo e' uma instancia de Alga Objeto Organismo vive em Objeto Objeto e' uma instancia de Agua
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2509-2517	Processo e' uma instancia de AcidRainfall Fisico Numero Real Fisico e' uma instancia de Agua Fisico e' um patient de Processo a medida de Fisico e' Numero Real PHValue(s) Numero Real e' menos que 5.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2495-2507	Processo e' uma instancia de AcidRainfall Objeto Objeto, Objeto and Objeto2 Objeto e' uma instancia de Agua Objeto e' um patient de Processo Objeto e' uma instancia de SulphurDioxide Objeto e' uma instancia de NitricOxide Objeto2 e' uma instancia de NitrogenDioxide Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto2 e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14146-14153	Objeto e' uma instancia de Area Aquatica Objeto Buraco and Objeto o dono do buraco Buraco e' igual a Objeto Objeto e' uma instancia de Agua Objeto rempliecompleta corretamente Buraco a uniao das partes de Objeto e Objeto e' igual a Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14795-14800	Objeto e' uma instancia de WaterCloud Objeto Objeto e' uma instancia de Agua Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14802-14815	Objeto e' uma instancia de WaterCloud Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Agua Objeto Numero Real, Numero Real and Unidade de Medida Objeto e' uma instancia de Agua Objeto e' uma &parte de Objeto a medida de Objeto e' Numero Real Unidade de Medida(s) a medida de Objeto e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2799-2811	Transferencia e' uma instancia de Drizzling Colecao Objeto auto-conectado and Numero Real Colecao e' uma instancia de Colecao Objeto auto-conectado e' uma instancia de Agua Objeto auto-conectado e' uma instancia de LiquidDrop Objeto auto-conectado e' membro de Colecao objectTransferred Transferencia and Colecao approximateDiameter Objeto auto-conectado and Numero Real Millimeter(s) o argumento Numero Real e' menor ou igual a 0.5 tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14595-14600	Organismo e' uma instancia de Peixe Objeto Organismo vive em Objeto Objeto e' uma instancia de Agua
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29480-29488	Fisico e' uma instancia de FishTank Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Agua Entidade e' uma instancia de Peixe Fisico contem Entidade Fisico contem Entidade
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6004-6010	Objeto e' uma instancia de Glacier Objeto Objeto e' uma instancia de Agua Solid e' um atributo de Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4993-4998	Objeto e' uma instancia de Mud Objeto Objeto e' uma instancia de Agua Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11259-11264	Processo e' uma instancia de WaterMotion Entidade Entidade e' um patient de Processo Entidade e' uma instancia de Agua
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11235-11240	Processo e' uma instancia de Precipitation Entidade Entidade e' uma instancia de Agua Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 248-258	Entidade e' uma instancia de PurifiedWater Processo Objeto and Objeto Processo e' uma instancia de Remover Processo tem como origem Objeto Objeto e' uma instancia de Agua Objeto e' um patient de Processo Objeto e' uma instancia de Substancia Objeto e' uma &parte de Objeto Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1053-1066	Entidade e' uma instancia de Raining Entidade Entidade and Classe Entidade e' uma instancia de Colecao Entidade e' uma instancia de Agua Entidade e' uma instancia de LiquidDrop Entidade e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25638-25646	Objeto e' uma instancia de Steam Processo Entidade Processo e' uma instancia de Ferver Entidade e' uma instancia de Agua Entidade e' um patient de Processo Objeto e' o resultado de Processo Gas e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1809-1819	Processo e' uma instancia de DryCleaningService Entidade Objeto and Objeto Entidade e' uma instancia de Roupa Objeto e' um instrumento para Processo Objeto e' uma instancia de Agua Objeto e' uma instancia de ChemicalProduct Objeto e' um instrumento para Processo Entidade e' um patient de Processo Clean e' um atributo de Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2054-2060	Fisico e' uma instancia de BathTub Fisico tem por fim Entidade Entidade e' uma instancia de Agua Fisico contem Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25282-25297	Objeto e' uma instancia de WhirlpoolTub Objeto Objeto e' uma instancia de PressureControlValve Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Agua Entidade e' situado em Objeto Entidade e' uma instancia de Criacao Objeto e' um instrumento para Entidade Entidade e' o resultado de Entidade Entidade e' uma instancia de Movimento Entidade e' situado em Entidade
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1212-1224	Processo e' uma instancia de WaterSport Objeto Objeto e' uma instancia de Area Aquatica Objeto e' uma instancia de FluidContainer ObjetoATER ObjetoATER e' uma instancia de Agua ObjetoATER e' situado em Objeto eventLocated Processo and Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3487-3496	Fisico e' uma instancia de WaterVehicle Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Agua Entidade e' uma instancia de Transporte Fisico encontra Entidade vale durante tempo de existencia de Entidade

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: