|
|
   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 1689-1691 | |
| (externalImage FossilFuel "http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ Methane-3D-balls.png") | pictureList.kif 2470-2470 | |
| (externalImage FossilFuel "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Methane-2D-stereo.svg") | pictureList.kif 2581-2581 | |
| (subclass FossilFuel Fuel) | Mid-level-ontology.kif 1687-1687 | 化石燃料 是 汽油 的 subclass |
| (subclass FossilFuel PetroleumProduct) | Mid-level-ontology.kif 1688-1688 | 化石燃料 是 石油产品 的 subclass |
| appearance as argument number 2 |
|
|
| (disjoint Asphalt FossilFuel) | Economy.kif 5954-5954 | 沥青 和 % 2 是 disjoint |
| (subclass Coal FossilFuel) | Geography.kif 2018-2018 | 煤 是 化石燃料 的 subclass |
| (subclass DieselFuel FossilFuel) | Mid-level-ontology.kif 1714-1714 | 柴油燃料 是 化石燃料 的 subclass |
| (subclass Gasoline FossilFuel) | Mid-level-ontology.kif 1709-1709 | 汽油 是 化石燃料 的 subclass |
| (subclass LiquefiedPetroleumGas FossilFuel) | Mid-level-ontology.kif 1705-1705 | 液化石油气 是 化石燃料 的 subclass |
| (termFormat ChineseLanguage FossilFuel "化石燃料") | domainEnglishFormat.kif 24782-24782 | |
| (termFormat ChineseTraditionalLanguage FossilFuel "化石燃料") | domainEnglishFormat.kif 24781-24781 | |
| (termFormat EnglishLanguage FossilFuel "fossil fuel") | domainEnglishFormat.kif 24780-24780 |
| antecedent |
|
|
| (=> (instance ?X FossilFuel) (attribute ?X Flammable)) |
Mid-level-ontology.kif 1697-1699 |
|
|
|
