Liquid - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3928-3929
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17579-17580
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17577-17577	Liquid e' uma instancia de Estado Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17578-17578	Liquid e' um sub-atributo de Fluid

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17564-17564	Solid e' &o oposto de Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31436-31436	roomTempState Absolut and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31554-31554	roomTempState Alcohol and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31417-31417	roomTempState AlcoholicBeverage and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31555-31555	roomTempState Aldosterone and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31556-31556	roomTempState Alkaloid and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31424-31424	roomTempState Amaretto and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31558-31558	roomTempState AminoAcid and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31421-31421	roomTempState Aperitif and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31561-31561	roomTempState Atropine and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31432-31432	roomTempState Bacardi and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31562-31562	roomTempState Bacitracin and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31425-31425	roomTempState Baileys and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31441-31441	roomTempState Beer and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31413-31413	roomTempState Bebida and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31549-31549	roomTempState BloodAgent and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31450-31450	roomTempState Boron and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31440-31440	roomTempState Brandy and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31481-31481	roomTempState Bromine and Liquid
No TPTP formula. May not be expressible in strict first order.	Food.kif 3170-3170	roomTempState Buttermilk and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31422-31422	roomTempState Campari and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31426-31426	roomTempState Chambord and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31419-31419	roomTempState Champagne and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31571-31571	roomTempState ChemicalAcid and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31572-31572	roomTempState ChemicalBase and Liquid

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

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

Merge.kif 17565-17565

exhaustiveAttribute Estado Fisico, Solid, Liquid, Gas and Plasma

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1747-1767	Fisico e' uma instancia de Cavitating Objeto auto-conectado e' uma instancia de Pump DeviceOn e' um atributo de Objeto auto-conectado Liquid e' um atributo de Objeto Objeto auto-conectado contem Objeto Objeto auto-conectadoP Entidade Objeto auto-conectadoP e' uma &parte de Objeto auto-conectado Objeto auto-conectadoP tem por fim Liquid e' um atributo de Entidade Entidade encontra Objeto auto-conectadoP Entidade Liquid e' um atributo de Entidade Objeto auto-conectadoP encontra Entidade vale durante tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7545-7554	Objeto e' uma instancia de Colloid Objeto e' uma &parte de Objeto Solid e' um atributo de Objeto Liquid e' um atributo de Objeto Objeto e' uma instancia de Air Objeto e' uma &parte de Objeto Objeto e' uma instancia de Aerosal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17616-17623	Objeto e' uma instancia de Substancia Gas e' um atributo de Objeto Liquid e' um atributo de Objeto Plasma e' um atributo de Objeto Fluid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31674-31685	roomTempState Substancia and Estado Fisico Fisico e' uma instancia de Substancia roomTempState Substancia and Liquid vale durante Posicao Temporal a medida de Fisico e' 101 1 mil Pascals(s) a medida de Fisico e' 68 FahrenheitDegree(s) vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13965-13967	Liquid e' um atributo de Objeto Objeto e' capaz de fazer Ferver no role patient

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10298-10302	Processo e' uma instancia de Beber Objeto e' um recurso para Processo Liquid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13955-13963	Processo e' uma instancia de Ferver Objeto e' um patient de Processo Objeto Objeto e' uma &parte de Objeto Liquid e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Gas e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4692-4696	Objeto auto-conectado e' uma instancia de Bottle Objeto auto-conectado contem Objeto Liquid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1747-1767	Fisico e' uma instancia de Cavitating Objeto auto-conectado e' uma instancia de Pump DeviceOn e' um atributo de Objeto auto-conectado Liquid e' um atributo de Objeto Objeto auto-conectado contem Objeto Objeto auto-conectadoP Entidade Objeto auto-conectadoP e' uma &parte de Objeto auto-conectado Objeto auto-conectadoP tem por fim Liquid e' um atributo de Entidade Entidade encontra Objeto auto-conectadoP Entidade Liquid e' um atributo de Entidade Objeto auto-conectadoP encontra Entidade vale durante tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14001-14009	Processo e' uma instancia de Condensar Objeto e' um patient de Processo Objeto Objeto e' uma &parte de Objeto Gas e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Liquid e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6997-7014	Processo e' uma instancia de Deposition Objeto e' um patient de Processo Objeto Objeto e' uma &parte de Objeto Gas e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Solid e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo Liquid e' um atributo de Objeto vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9963-9975	Processo e' uma instancia de Edema AutonomousAgent experimenta Processo Movimento Objeto and Objeto Movimento e' uma instancia de Transferencia Objeto e' uma instancia de Liquid Objeto e' uma instancia de Parte do Corpo Objeto e' uma &parte de AutonomousAgent Movimento termina em Objeto moves Movimento and Objeto Movimento e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13975-13988	Processo e' uma instancia de Evaporating boilingPoint Substancia Pura and Numero Real Unidade de Medida(s) Objeto e' uma instancia de Substancia Pura a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfTemperature Objeto e' um patient de Processo Objeto Objeto e' uma &parte de Objeto Numero Real e' maior que Numero Real Liquid e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Gas e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14022-14030	Processo e' uma instancia de Congelar Objeto e' um patient de Processo Objeto Objeto e' uma &parte de Objeto Liquid e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Solid e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7497-7509	Objeto auto-conectado e' uma instancia de LiquidDrop Objeto auto-conectado e' uma superficie de Objeto auto-conectado o argumento Objeto auto-conectadoS Entidade Entidade e' uma instancia de Substancia Liquid e' um atributo de Entidade Objeto auto-conectado e' igual a Entidade Objeto auto-conectadoS e' uma superficie de Entidade Objeto auto-conectado encontra Objeto auto-conectadoS tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2172-2180	Objeto e' uma instancia de LiquidEngineCoolingSystem Transferencia e' uma instancia de Resfriar Objeto e' um instrumento para Transferencia Objeto Liquid e' um atributo de Objeto objectTransferred Transferencia and Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13934-13942	Processo e' uma instancia de Derreter Objeto e' um patient de Processo Objeto Objeto e' uma &parte de Objeto Solid e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Liquid e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11248-11252	Processo e' uma instancia de LiquidMotion Objeto e' um patient de Processo Liquid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7049-7066	Processo e' uma instancia de Sublimation Objeto e' um patient de Processo Objeto Objeto e' uma &parte de Objeto Solid e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Gas e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo Liquid e' um atributo de Objeto vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13885-13900	Entidade e' uma instancia de Substancia Pura boilingPoint Substancia Pura and Numero Real Unidade de Medida(s) meltingPoint Substancia Pura and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfTemperature a medida de Entidade e' Numero Real Unidade de Medida(s) vale durante Intervalo Temporal Numero Real e' maior que Numero Real Numero Real e' menos que Numero Real Liquid e' um atributo de Entidade vale durante Intervalo Temporal Processo Intervalo Temporal engloba tempo de existencia de Processo Processo e' uma instancia de Derreter Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13831-13840	Objeto e' uma instancia de Substancia Pura Substancia Pura e' uma sub-classe de Substancia Pura boilingPoint Substancia Pura and Numero Real KelvinDegree(s) meltingPoint Substancia Pura and Numero Real KelvinDegree(s) a medida de Objeto e' Numero Real KelvinDegree(s) Numero Real e' maior que Numero Real Numero Real e' menos que Numero Real Liquid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18017-18023	Dry e' um atributo de Objeto Objeto Objeto e' uma &parte de Objeto Liquid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18035-18043	Wet e' um atributo de Objeto Objeto Objeto e' uma &parte de Objeto Objeto Objeto e' uma &parte de Objeto Liquid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1899-1906	Processo e' uma instancia de Aerating Entidade Objeto Entidade e' um patient de Processo Entidade e' uma instancia de Air Objeto e' um patient de Processo Liquid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5002-5007	Objeto auto-conectado e' uma instancia de Bubble Objeto auto-conectado Objeto auto-conectado e' uma superficie de Objeto auto-conectado Liquid e' um atributo de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Food.kif 395-397	Objeto e' uma instancia de Bebida Liquid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10497-10509	Fisico e' uma instancia de Clotting Entidade Entidade e' uma instancia de Sangue Liquid e' um atributo de Entidade vale durante imediatemente antes de tempo de existencia de Fisico Solid e' um atributo de Entidade vale durante imediatemente apos tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4570-4585	Fisico e' uma instancia de Colander Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Mistura Entidade e' uma instancia de Substancia Entidade e' uma &parte de Entidade Liquid e' um atributo de Entidade Entidade e' uma instancia de Remover Entidade e' um patient de Entidade Entidade e' uma instancia de Substancia Entidade e' uma &parte de Entidade Solid e' um atributo de Entidade Entidade e' o resultado de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19617-19623	Processo e' uma instancia de Diluting Objeto Objeto e' um patient de Processo Objeto e' uma instancia de Solucao Liquid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10009-10022	Fisico e' uma instancia de Diuretic Fisico tem por fim Entidade Entidade, Entidade and EntidadeOC Entidade e' uma instancia de Humano Entidade e' uma instancia de Remover Entidade e' uma instancia de Liquid Entidade experimenta Entidade moves Entidade and Entidade Entidade tem como origem Entidade Entidade nao contem %n EntidadeOC Entidade termina em EntidadeOC

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: