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 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 1680-1680 | FossilFuel è una sottoclasse di Fuel |
(subclass FossilFuel PetroleumProduct) | Mid-level-ontology.kif 1681-1681 | FossilFuel è una sottoclasse di PetroleumProduct |
appearance as argument number 2 |
(disjoint Asphalt FossilFuel) | Economy.kif 5954-5954 | Asphalt è disgiunto da FossilFuel |
(subclass Coal FossilFuel) | Geography.kif 2018-2018 | Coal è una sottoclasse di FossilFuel |
(subclass DieselFuel FossilFuel) | Mid-level-ontology.kif 1707-1707 | DieselFuel è una sottoclasse di FossilFuel |
(subclass Gasoline FossilFuel) | Mid-level-ontology.kif 1702-1702 | Gasoline è una sottoclasse di FossilFuel |
(subclass LiquefiedPetroleumGas FossilFuel) | Mid-level-ontology.kif 1698-1698 | LiquefiedPetroleumGas è una sottoclasse di FossilFuel |
(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 1690-1692 |