|
|
   FuelAtomizer
|
|
|
| appearance as argument number 1 |
|
|
| (documentation FuelAtomizer EnglishLanguage "A Device designed to atomize fuel to put into a GasMixture for use in Combustion. In a gas-powered automobile that typically has 14.7 parts air per part gasoline. Principal subclasses are FuelInjectors and Carburetors.") | Cars.kif 1107-1110 | |
| (subclass FuelAtomizer Device) | Cars.kif 1105-1105 | FuelAtomizer は デバイス の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass Carburetor FuelAtomizer) | Cars.kif 1132-1132 | Carburetor は FuelAtomizer の subclass では %n |
| (subclass FuelInjector FuelAtomizer) | Cars.kif 1126-1126 | FuelInjector は FuelAtomizer の subclass では %n |
| (termFormat EnglishLanguage FuelAtomizer "fuel atomizer") | Cars.kif 1106-1106 |
| antecedent |
|
|
| (=> (instance ?FA FuelAtomizer) (hasPurpose ?FA (exists (?F ?S ?A ?C) (and (instance ?F Fuel) (instance ?S Spraying) (instance ?A Air) (instance ?C Combustion) (patient ?S ?A) (patient ?S ?F) (resource ?C ?F) (resource ?C ?A))))) |
Cars.kif 1112-1124 |
|
|
|
|