DieselFuel - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - DieselFuel

DieselFuel(diesel fuel)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1716-1717
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2571-2571
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2570-2570
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31398-31398	roomTempState diesel fuel and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1714-1714	Diesel fuel is a subclass of fossil fuel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1715-1715	Diesel fuel is a subclass of solution

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19476-19476
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19475-19475
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19474-19474

consequent

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

Mid-level-ontology.kif 23615-23620

If a process is an instance of the operating of diesel engine,
then there exists an object such that the object is an instance of diesel fuel and the object is a resource for the process

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