Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FossilFuel
FossilFuel

appearance as argument number 1
-------------------------


(documentation FossilFuel EnglishLanguage "FossilFuel is the subclass of Fuel whose instances are derived from fossilized organic deposits, such as Coal and LiquefiedPetroleumGas.") Mid-level-ontology.kif 1682-1684
(externalImage FossilFuel "http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ Methane-3D-balls.png") pictureList.kif 2469-2469
(externalImage FossilFuel "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Methane-2D-stereo.svg") pictureList.kif 2580-2580
(subclass FossilFuel Fuel) Mid-level-ontology.kif 1680-1680
(subclass FossilFuel PetroleumProduct) Mid-level-ontology.kif 1681-1681

appearance as argument number 2
-------------------------


(disjoint Asphalt FossilFuel) Economy.kif 6069-6069
(subclass Coal FossilFuel) Geography.kif 2018-2018
(subclass DieselFuel FossilFuel) Mid-level-ontology.kif 1707-1707
(subclass Gasoline FossilFuel) Mid-level-ontology.kif 1702-1702
(subclass LiquefiedPetroleumGas FossilFuel) Mid-level-ontology.kif 1698-1698
(termFormat ChineseLanguage FossilFuel "化石燃料") domainEnglishFormat.kif 24811-24811
(termFormat ChineseTraditionalLanguage FossilFuel "化石燃料") domainEnglishFormat.kif 24810-24810
(termFormat EnglishLanguage FossilFuel "fossil fuel") domainEnglishFormat.kif 24809-24809

antecedent
-------------------------


(=>
    (instance ?X FossilFuel)
    (attribute ?X Flammable))
Mid-level-ontology.kif 1690-1692


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