Fluid - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Fluid

Fluid

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3926-3927
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17612-17614
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6521-6521
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6016-6016
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6520-6520
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17611-17611	Fluid e' uma instancia de Atributo Interno

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17587-17587	Gas e' um sub-atributo de Fluid
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17578-17578	Liquid e' um sub-atributo de Fluid
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17605-17605	Plasma e' um sub-atributo de Fluid
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24362-24362
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24361-24361
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24360-24360

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9838-9860	Objeto e' uma instancia de Antacid Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente antes de tempo de existencia de Movimento Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente apos tempo de existencia de Movimento phMeasure Objeto and Numero Real phMeasure Objeto and Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9899-9921	Objeto e' uma instancia de ProtonPumpInhibitor Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente antes de tempo de existencia de Movimento Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente apos tempo de existencia de Movimento phMeasure Objeto and Numero Real phMeasure Objeto and Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 871-885	Objeto auto-conectado e' uma instancia de AutomobileShock Processo e' uma instancia de Compressing Buraco e' uma instancia de Buraco Fluid e' um atributo de Objeto Objeto auto-conectado e' igual a o dono do buraco Buraco Objeto auto-conectado contem Objeto Objeto auto-conectado e' um patient de Processo Transferencia Transferencia e' uma instancia de Transferencia objectTransferred Transferencia and Objeto Buraco e' o caminho ao longo do qual Transferencia ocorre Processo causa Transferencia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4734-4739	Objeto auto-conectado e' uma instancia de SwimmingPool Objeto auto-conectado contem Objeto Objeto e' uma instancia de Fluid Objeto e' uma instancia de FreshWater
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21615-21621	Objeto e' uma instancia de Colloid Solid e' um atributo de Objeto Fluid e' um atributo de Objeto Objeto e' igual a Entidade Entidade e' uma instancia de Gel

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9060-9064	Objeto e' uma instancia de FlowRegion Objeto e' situado em Objeto Fluid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 777-783	Objeto e' uma instancia de Pipeline Processo e' uma instancia de Movimento Objeto e' um instrumento para Processo Entidade e' um patient de Processo Entidade e' uma instancia de a classe correspondente a Fluid
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 895-917	Transferencia e' uma instancia de Thoracentesis Objeto e' um patient de Transferencia Transferencia Objeto, TransferenciaN, Objeto, Objeto and Objeto Transferencia e' uma instancia de Inserting Transferencia e' um sub-processo de Transferencia objectTransferred Transferencia and Objeto Transferencia tem como origem Objeto Transferencia termina em TransferenciaN Objeto e' uma instancia de Needle Fluid e' um atributo de Objeto objectTransferred Transferencia and Objeto Objeto termina em Objeto Objeto e' uma instancia de Lung Objeto e' uma instancia de Chest Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Transferencia tem como origem TransferenciaN Transferencia termina em Objeto TransferenciaN esta' entre Objeto e Objeto Objeto e' Outside em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15450-15458	Processo e' uma instancia de Transporte Objeto e' um instrumento para Processo Objeto e' uma instancia de Pump Objeto Objeto e' um instrumento para Processo Fluid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4682-4686	Objeto auto-conectado e' uma instancia de FluidContainer Objeto auto-conectado contem Objeto Fluid e' um atributo de Objeto
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.	Medicine.kif 924-938	Fisico e' uma instancia de Needle Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Animal Entidade e' uma instancia de TherapeuticProcss Fluid e' um atributo de Entidade Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade Entidade e' uma instancia de Remover Entidade e' uma instancia de Inserting Entidade e' um sub-processo de Entidade objectTransferred Entidade and Entidade
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2428-2430	Veiculo de Transporte e' uma instancia de SpecializedTankerShip cargoType Veiculo de Transporte and a classe correspondente a Fluid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9545-9556	Fisico e' uma instancia de PlantStem Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Transferencia Fisico e' um instrumento para Entidade Entidade e' uma instancia de PlantRoot Entidade tem como origem Entidade Entidade e' uma instancia de Substancia Fluid e' um atributo de Entidade objectTransferred Entidade and Entidade
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2670-2672	Objeto e' uma instancia de Effluent Fluid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1527-1535	Fisico e' uma instancia de Tube Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Transferencia Fisico e' o caminho ao longo do qual Entidade ocorre Entidade e' um patient de Entidade Fluid e' um atributo de Entidade
No TPTP formula. May not be expressible in strict first order.	engineering.kif 914-925	Fisico e' uma instancia de Valve Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Transferencia Fisico e' o caminho ao longo do qual Entidade ocorre Entidade e' um patient de Entidade Fluid e' um atributo de Entidade Entidade e' uma instancia de Processo Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade

statement

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5426-5426	O argumento numero 1 de flows e' uma instancia de a classe correspondente a Fluid
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5427-5427	O argumento numero 2 de flows e' uma instancia de a classe correspondente a Fluid
No TPTP formula. May not be expressible in strict first order.	Weather.kif 11-11	Atmosphere e' uma sub-classe de a classe correspondente a Fluid

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