Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
FossilFuel(fossil fuel)
|
| appearance as argument number 1 |
|
| (subclass FossilFuel Fuel) | Mid-level-ontology.kif 2219-2219 | Fossil fuel is a subclass of fuel |
| (subclass FossilFuel PetroleumProduct) | Mid-level-ontology.kif 2220-2220 | Fossil fuel is a subclass of petroleum product |
| (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 2221-2223 | Fossil fuel is a subclass of petroleum product |
| (externalImage FossilFuel "http://upload.wikimedia.org/wikipedia/commons/ 5/ 58/ Methane-3D_balls.png") | pictureList.kif 2469-2469 | Fossil fuel is a subclass of petroleum product |
| (externalImage FossilFuel "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Methane-2D_stereo.svg") | pictureList.kif 2580-2580 | Fossil fuel is a subclass of petroleum product |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?X FossilFuel) (attribute ?X Flammable)) |
Mid-level-ontology.kif 2229-2231 | If X is an instance of fossil fuel, then flammable is an attribute of X |
|