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 1648-1650
(externalImage FossilFuel "http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ Methane-3D-balls.png") pictureList.kif 2471-2471
(externalImage FossilFuel "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Methane-2D-stereo.svg") pictureList.kif 2582-2582
(subclass FossilFuel Fuel) Mid-level-ontology.kif 1646-1646
(subclass FossilFuel PetroleumProduct) Mid-level-ontology.kif 1647-1647

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


(disjoint Asphalt FossilFuel) Economy.kif 4997-4997
(subclass Coal FossilFuel) Geography.kif 2021-2021
(subclass DieselFuel FossilFuel) Mid-level-ontology.kif 1672-1672
(subclass Gasoline FossilFuel) Mid-level-ontology.kif 1668-1668
(subclass LiquefiedPetroleumGas FossilFuel) Mid-level-ontology.kif 1664-1664
(termFormat ChineseLanguage FossilFuel "化石燃料") domainEnglishFormat.kif 24777-24777
(termFormat ChineseTraditionalLanguage FossilFuel "化石燃料") domainEnglishFormat.kif 24776-24776
(termFormat EnglishLanguage FossilFuel "fossil fuel") domainEnglishFormat.kif 24775-24775

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


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


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