TreeView Knowledge Base Browser - Oil

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Oil

Sigma KEE - Oil

Oil

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8809-8810
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8808-8808	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 1677-1677	PetroleumProduct est une sous-classe de Oil
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41934-41934
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41933-41933
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41932-41932

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 8812-8820

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 3323-3329	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 3219-3224	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