TreeView Knowledge Base Browser - FluidContainer

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FluidContainer

FluidContainer

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4679-4680
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 55-55
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4678-4678	FluidContainer e' uma sub-classe de Container

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3584-3584	Balloon e' uma sub-classe de FluidContainer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2049-2049	BathTub e' uma sub-classe de FluidContainer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4688-4688	Bottle e' uma sub-classe de FluidContainer
No TPTP formula. May not be expressible in strict first order.	Food.kif 3577-3577	Cask e' uma sub-classe de FluidContainer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4710-4710	DrinkingCup e' uma sub-classe de FluidContainer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29487-29487	FishTank e' uma sub-classe de FluidContainer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 985-985	GasTank e' uma sub-classe de FluidContainer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3315-3315	OilPan e' uma sub-classe de FluidContainer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4721-4721	SwimmingPool e' uma sub-classe de FluidContainer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25277-25277	WhirlpoolTub e' uma sub-classe de FluidContainer
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24368-24368
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24367-24367
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24366-24366

antecedent

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

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1519-1529	Fisico e' uma instancia de BleedingAir Fisico tem por fim Entidade Entidade Entidade e' uma instancia de FluidContainer Entidade e' uma instancia de Air Entidade contem Entidade vale durante imediatemente antes de Fisico Entidade nao contem %n Entidade vale durante imediatemente apos Fisico
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1211-1223	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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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