Oil - Sigma Knowledge base Browser

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 e' uma sub-classe de Substancia Composta

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 2871-2871	AnimalFat e' uma sub-classe de Oil
No TPTP formula. May not be expressible in strict first order.	Food.kif 2930-2930	ButterFat e' uma sub-classe de Oil
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4526-4526	OilFromPlant e' uma sub-classe de Oil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1670-1670	PetroleumProduct e' uma sub-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

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

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 128-151	Processo e' uma instancia de DryRoasting Entidade e' uma instancia de Comida Entidade e' um patient de Processo Entidade Entidade Entidade e' uma instancia de Aquecer Entidade e' uma instancia de Stirring Entidade e' um sub-processo de Processo Entidade e' um sub-processo de Processo tempo de existencia de Entidade acontece durante tempo de existencia de Entidade Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade Entidade Entidade e' uma instancia de Oil Entidade e' uma instancia de DrinkingWater Entidade e' um patient de Processo Entidade e' um patient de Processo vale durante Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 2500-2505	Objeto Corpuscular e' uma instancia de ChocolateCandy CocoaLiquor e' feito de Objeto Corpuscular Oil e' feito de Objeto Corpuscular Sugar e' feito de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Food.kif 2569-2574	Processo e' uma instancia de Frying Objeto Objeto e' uma instancia de Oil Objeto e' um recurso para Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 2664-2668	Objeto Corpuscular e' uma instancia de Mayonnaise Oil e' feito de Objeto Corpuscular EggYolk e' feito de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3308-3314	Fisico e' uma instancia de OilPan Fisico tem por fim Entidade Entidade e' uma instancia de Oil Fisico contem Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3212-3217	Objeto e' uma instancia de OilPaint Objeto Objeto e' uma instancia de Oil Objeto e' uma &parte de Objeto

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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