|
|
   OutboardEngine
|
|
|
| appearance as argument number 1 |
|
|
| (documentation OutboardEngine EnglishLanguage "An outboard motor is a propulsion system for boats, consisting of a self-contained unit that includes engine, gearbox and propeller or jet drive, designed to be affixed to the outside of the transom. They are the most common motorized method of propelling small watercraft. As well as providing propulsion, outboards provide steering control, as they are designed to pivot over their mountings and thus control the direction of thrust. The skeg also acts as a rudder when the engine is not running. Compared to inboard motors, outboard motors can be easily removed for storage or repairs. [from Wikipedia]") | Cars.kif 4337-4345 | |
| (externalImage OutboardEngine "http://upload.wikimedia.org/wikipedia/commons/ c/ c5/ Trim_outboard_engine.jpg") | Cars.kif 4348-4348 | |
| (subclass OutboardEngine Engine) | Cars.kif 4336-4336 | OutboardEngine est une sous-classe de Engine |
| appearance as argument number 2 |
|
|
| (subclass SeagullOutboard OutboardEngine) | Cars.kif 4735-4735 | SeagullOutboard est une sous-classe de OutboardEngine |
| (termFormat EnglishLanguage OutboardEngine "outboard engine") | Cars.kif 4346-4346 | |
| (termFormat EnglishLanguage OutboardEngine "outboard motor") | Cars.kif 4347-4347 |
| antecedent |
|
|
| (=> (instance ?OE OutboardEngine) (hasPurpose ?OE (exists (?W) (and (instance ?W WaterVehicle) (meetsSpatially ?OE ?W) (orientation ?OE ?W Outside))))) |
Cars.kif 4350-4357 |
|
|
|
