DieselFuel
|
|
appearance as argument number 1 |
(documentation DieselFuel EnglishLanguage "DieselFuel is the subclass of RefinedPetroleumProducts that are fuels for diesel engines.") | Mid-level-ontology.kif 1709-1710 | |
(externalImage DieselFuel "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ Red_diesel_tank.jpg") | pictureList.kif 2571-2571 | |
(externalImage DieselFuel "http://upload.wikimedia.org/wikipedia/en/2/2d/ Pumping.jpg") | pictureList.kif 2570-2570 | |
(roomTempState DieselFuel Liquid) | Mid-level-ontology.kif 31430-31430 | roomTempState 柴油燃料 and 液體 |
(subclass DieselFuel FossilFuel) | Mid-level-ontology.kif 1707-1707 | 子類 柴油燃料 and 化石燃料 |
(subclass DieselFuel Solution) | Mid-level-ontology.kif 1708-1708 | 子類 柴油燃料 and Solution |
appearance as argument number 2 |
(termFormat ChineseLanguage DieselFuel "柴油燃料") | domainEnglishFormat.kif 19476-19476 | |
(termFormat ChineseTraditionalLanguage DieselFuel "柴油燃料") | domainEnglishFormat.kif 19475-19475 | |
(termFormat EnglishLanguage DieselFuel "diesel fuel") | domainEnglishFormat.kif 19474-19474 |
consequent |
(=> (instance ?P (OperatingFn DieselEngine)) (exists (?F) (and (instance ?F DieselFuel) (resource ?P ?F)))) |
Mid-level-ontology.kif 23667-23672 |