TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1621-1623
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1184-1188
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 202-205
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 240-244
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6706-6706
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1182-1182	Mistura e' uma sub-classe de Substancia

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4745-4745	Adderall e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5601-5601	Bauxite e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21584-21584	Colloid e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5895-5895	Concrete e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8859-8859	Detergent e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Food.kif 1600-1600	Dough e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1139-1139	Exhaust e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5975-5975	Fertilizer e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14782-14782	GasMixture e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6098-6098	Gemstone e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8937-8937	Glass e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8924-8924	Glue e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4440-4440	Gravel e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1242-1242	GunPowder e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18009-18009	Humus e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1585-1585	HydraulicFluid e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14755-14755	LiquidMixture e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8940-8940	MetallicAlloy e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7403-7403	ParticulateMatter e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Food.kif 309-309	PreparedFood e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5836-5836	RingersLactate e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2146-2146	Sewage e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17948-17948	Soil e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4557-4557	VegetableOil e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21472-21472	Vomit e' uma sub-classe de Mistura

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.	Medicine.kif 227-227	O argumento numero 4 de concentration e' uma instancia de Mistura
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5859-5859	O argumento numero 2 de mixturePartType e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1042-1042	O conceito Substancia e' completamente decomposto em Substancia Pura + Mistura

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1248-1262	Objeto e' uma instancia de Mistura Unidade de Medida e' uma instancia de Unidade de Medida mixtureRatio Substancia, Substancia, Numero Real, Numero Real and Unidade de Medida a medida de Objeto e' Numero Real Unidade de Medida(s) Substancia e' uma &parte de Objeto Substancia e' uma &parte de Objeto a medida de Substancia e' Numero Real Unidade de Medida(s) a medida de Substancia e' Numero Real Unidade de Medida(s) Numero Real e' igual a ( Numero Real + Numero Real)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1200-1205	Substancia e' uma instancia de Mistura Substancia e' uma peca de Substancia Substancia e' uma instancia de Mistura Substancia e' uma instancia de Substancia Pura
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1219-1228	Objeto e' uma instancia de TapWater Objeto e' uma instancia de Mistura Objeto e' uma &parte de Objeto Objeto e' uma instancia de Antifreeze Objeto e' uma &parte de Objeto Solid e' um atributo de Objeto a medida de Objeto e' Numero Real CelsiusDegree(s) 32 e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 1633-1639	Objeto e' uma sub-classe de Mistura initialPart Objeto and Carne initialPart Objeto and FoodFromPlant initialPart Objeto and DrinkingWater Objeto e' igual a SoupStock
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1190-1198	Substancia e' uma instancia de Mistura Substancia Substancia Substancia e' uma instancia de Substancia Pura Substancia e' uma instancia de Substancia Pura Substancia e' igual a Substancia Substancia e' uma peca de Substancia Substancia e' uma peca de Substancia

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4565-4580	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.	Cars.kif 943-958	Fisico e' uma instancia de AirFilter Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Remover Entidade e' uma &parte de Entidade Entidade e' uma instancia de Air Entidade e' uma instancia de Air Solid e' um atributo de Entidade Entidade e' um patient de Entidade Entidade e' uma &parte de Entidade Entidade tem como origem Entidade Entidade e' uma instancia de Mistura Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2516-2524	Fisico e' uma instancia de Filter Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Remover Entidade tem como origem Entidade Entidade e' uma instancia de Mistura Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8839-8847	Objeto e' uma instancia de Oil Objeto Objeto Objeto e' uma instancia de Mistura Objeto e' uma &parte de Objeto Objeto e' uma instancia de FreshWater Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4523-4538	Fisico e' uma instancia de Sieve Fisico tem por fim Entidade Entidade, FisicoUB, Entidade and Entidade Entidade e' uma instancia de Remover Entidade e' uma instancia de Mistura FisicoUB e' uma instancia de Substancia FisicoUB e' uma &parte de Entidade FisicoUB e' um patient de Entidade Entidade e' uma &parte de Fisico Entidade e' um instrumento para Entidade Entidade e' uma instancia de Humano Entidade e' um agente de Entidade Entidade nao deseja %n FisicoUB
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4544-4559	Fisico e' uma instancia de Strainer Fisico tem por fim Entidade FisicoUB, Entidade and Entidade Entidade e' uma instancia de Mistura FisicoUB e' uma instancia de Substancia Entidade e' uma instancia de Substancia FisicoUB e' uma &parte de Entidade Solid e' um atributo de FisicoUB Entidade e' uma instancia de Remover Entidade e' uma &parte de Entidade Liquid e' um atributo de Entidade FisicoUB e' um patient de Entidade Entidade e' o resultado de Entidade Fisico e' um instrumento para Entidade

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

KB Term:			Term intersection

English Word: