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(oil)

lemon_grass, lemongrass, lemongrass_oil, mustard_oil, oil, wool_oil

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8808-8809
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8807-8807	Oil is a subclass of compound substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 2871-2871	Animal fat is a subclass of oil
No TPTP formula. May not be expressible in strict first order.	Food.kif 2930-2930	Butter fat is a subclass of oil
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4526-4526	Oil from plant is a subclass of oil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1677-1677	Petroleum product is a subclass of 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 8811-8819

If an object is an instance of oil,
then there don't exist another object and a third object such that the other object is an instance of mixture and the third object is a part of the other object and the third object is an instance of freshwater and the object is a part of the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 128-151	If a process is an instance of dry roasting and an entity is an instance of food and the entity is a patient of the process, then there exist another entity and a third entity such that the other entity is an instance of heating and the third entity is an instance of stirring and the other entity is a subprocess of the process and the third entity is a subprocess of the process and the time of existence of the third entity takes place during the time of existence of the other entity and the entity is a patient of the other entity and the entity is a patient of the third entity and there don't exist a fourth entity and a fifth entity such that the fourth entity is an instance of oil and the fifth entity is an instance of potable water and the fourth entity is a patient of the process and the fifth entity is a patient of the process holds during the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 2500-2505	If a corpuscular object is an instance of chocolate candy, then the corpuscular object is made of cocoa liquor and the corpuscular object is made of oil and the corpuscular object is made of sugar
No TPTP formula. May not be expressible in strict first order.	Food.kif 2569-2574	If a process is an instance of frying, then there exists an object such that the object is an instance of oil and the object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 2664-2668	If a corpuscular object is an instance of mayonnaise, then the corpuscular object is made of oil and the corpuscular object is made of egg yolk
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3331-3337	If a physical is an instance of oil pan, then the physical has the purpose there exists an entity such that the entity is an instance of oil and the physical contains the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3219-3224	If an object is an instance of oil paint, then there exists another object such that the other object is an instance of oil and the other object is a part of the object

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