TreeView Knowledge Base Browser - Oil

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Oil

Oil

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8836-8837
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8835-8835	Oil est une sous-classe de substance compos�e

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 2871-2871	AnimalFat est une sous-classe de Oil
No TPTP formula. May not be expressible in strict first order.	Food.kif 2930-2930	ButterFat est une sous-classe de Oil
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4526-4526	OilFromPlant est une sous-classe de Oil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1670-1670	PetroleumProduct est une sous-classe de Oil
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41936-41936
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41935-41935
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41934-41934

antecedent

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

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 128-151	Processus est une instance de DryRoasting entit� est une instance de nourriture entit� est un patient de processus entit� entit� entit� est une instance de r�chauffer entit� est une instance de Stirring entit� est un sous-processus de processus entit� est un sous-processus de processus temps d'existence de entit� prend place pendant temps d'existence de entit� entit� est un patient de entit� entit� est un patient de entit� entit� entit� entit� est une instance de Oil entit� est une instance de DrinkingWater entit� est un patient de processus entit� est un patient de processus pendant processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 2500-2505	Objet corpusculaire est une instance de ChocolateCandy CocoaLiquor est fait de objet corpusculaire Oil est fait de objet corpusculaire Sugar est fait de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Food.kif 2569-2574	Processus est une instance de Frying objet objet est une instance de Oil objet est une resource pour processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 2664-2668	Objet corpusculaire est une instance de Mayonnaise Oil est fait de objet corpusculaire EggYolk est fait de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3308-3314	Physique est une instance de OilPan physique a pour but entit� entit� est une instance de Oil physique contient entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3212-3217	Objet est une instance de OilPaint objet objet est une instance de Oil objet est une partie de objet

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