| FossilFuel(fossil fuel)
|
| 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 2152-2154 | |
| (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 2150-2150 | Fossil fuel is a subclass of fuel |
| (subclass FossilFuel PetroleumProduct) | Mid-level-ontology.kif 2151-2151 | Fossil fuel is a subclass of petroleum product |
| appearance as argument number 2 |
|
|
| (disjoint Asphalt FossilFuel) | Economy.kif 6352-6352 | Asphalt is disjoint from fossil fuel |
| (subclass Coal FossilFuel) | Geography.kif 2006-2006 | Coal is a subclass of fossil fuel |
| (subclass DieselFuel FossilFuel) | Mid-level-ontology.kif 2177-2177 | Diesel fuel is a subclass of fossil fuel |
| (subclass Gasoline FossilFuel) | Mid-level-ontology.kif 2172-2172 | Gasoline is a subclass of fossil fuel |
| (subclass LiquefiedPetroleumGas FossilFuel) | Mid-level-ontology.kif 2168-2168 | Liquefied petroleum gas is a subclass of fossil fuel |
| (termFormat ChineseLanguage FossilFuel "化石燃料") | domainEnglishFormat.kif 24793-24793 | Liquefied petroleum gas is a subclass of fossil fuel |
| (termFormat ChineseTraditionalLanguage FossilFuel "化石燃料") | domainEnglishFormat.kif 24792-24792 | Liquefied petroleum gas is a subclass of fossil fuel |
| (termFormat EnglishLanguage FossilFuel "fossil fuel") | domainEnglishFormat.kif 24791-24791 | Liquefied petroleum gas is a subclass of fossil fuel |
| antecedent |
|
|
| (=> (instance ?X FossilFuel) (attribute ?X Flammable)) |
Mid-level-ontology.kif 2160-2162 |
|
|
|
|