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 17669-17671
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 17668-17668	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 17644-17644	Gas e' um sub-atributo de Fluid
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17635-17635	Liquid e' um sub-atributo de Fluid
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17662-17662	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 9866-9888	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 9927-9949	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 4729-4734	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 21643-21649	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 9088-9092	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 15478-15486	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 4677-4681	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 17673-17680	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 2434-2436	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 9573-9584	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 1520-1528	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