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	Mixture est une sous-classe de substance

appearance as argument number 2

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

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	Le nombre 4 argument de concentration est une instance de mixture
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5859-5859	Le nombre 2 argument de mixturePartType est une sous-classe de mixture
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1042-1042	Substance est compl�tement d�compos� en substance pure + mixture

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1248-1262	Objet est une instance de mixture unit� de mesure est une instance de unit� de mesure mixtureRatio substance, substance, nombre r�el, nombre r�el and unit� de mesure la mesure de objet est nombre r�el unit� de mesure(s) substance est une partie de objet substance est une partie de objet la mesure de substance est nombre r�el unit� de mesure(s) la mesure de substance est nombre r�el unit� de mesure(s) nombre r�el est nombre r�el + nombre r�el)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1200-1205	Substance est une instance de mixture substance est une pi�ce de substance substance est une instance de mixture substance est une instance de substance pure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1219-1228	Objet est une instance de TapWater objet est une instance de mixture objet est une partie de objet objet est une instance de Antifreeze objet est une partie de objet Solid est un attribut de objet la mesure de objet est nombre r�el CelsiusDegree(s) 32 est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Food.kif 1633-1639	Objet est une sous-classe de mixture initialPart objet and viande initialPart objet and FoodFromPlant initialPart objet and DrinkingWater objet est SoupStock
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1190-1198	Substance est une instance de mixture substance substance substance est une instance de substance pure substance est une instance de substance pure substance est substance substance est une pi�ce de substance substance est une pi�ce de substance

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4565-4580	Physique est une instance de Colander physique a pour but entit� entit�, entit� and entit� entit� est une instance de mixture entit� est une instance de substance entit� est une partie de entit� Liquid est un attribut de entit� entit� est une instance de supprimer entit� est un patient de entit� entit� est une instance de substance entit� est une partie de entit� Solid est un attribut de entit� entit� est le resultat de entit� physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 943-958	Physique est une instance de AirFilter physique a pour but entit� entit�, entit� and entit� entit� est une instance de supprimer entit� est une partie de entit� entit� est une instance de Air entit� est une instance de Air Solid est un attribut de entit� entit� est un patient de entit� entit� est une partie de entit� entit� a pour origine entit� entit� est une instance de mixture physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2516-2524	Physique est une instance de Filter physique a pour but entit� entit� entit� est une instance de supprimer entit� a pour origine entit� entit� est une instance de mixture physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8839-8847	Objet est une instance de Oil objet objet objet est une instance de mixture objet est une partie de objet objet est une instance de FreshWater objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4523-4538	Physique est une instance de Sieve physique a pour but entit� entit�, physiqueUB, entit� and entit� entit� est une instance de supprimer entit� est une instance de mixture physiqueUB est une instance de substance physiqueUB est une partie de entit� physiqueUB est un patient de entit� entit� est une partie de physique entit� est un instrument pour entit� entit� est une instance de humain entit� est un agent de entit� entit� ne desire %n{pas} physiqueUB
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4544-4559	Physique est une instance de Strainer physique a pour but entit� physiqueUB, entit� and entit� entit� est une instance de mixture physiqueUB est une instance de substance entit� est une instance de substance physiqueUB est une partie de entit� Solid est un attribut de physiqueUB entit� est une instance de supprimer entit� est une partie de entit� Liquid est un attribut de entit� physiqueUB est un patient de entit� entit� est le resultat de entit� physique est un instrument pour entit�

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: