![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
OutboardEngine(outboard motor)
| outboard, outboard_motor |
| appearance as argument number 1 |
|
|
| (subclass OutboardEngine Engine) | Cars.kif 4243-4243 | Outboard motor is a subclass of engine |
| (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 4244-4252 | Outboard motor is a subclass of engine |
| (externalImage OutboardEngine "http://upload.wikimedia.org/wikipedia/commons/ c/ c5/ Trim_outboard_engine.jpg") | Cars.kif 4255-4255 | Outboard motor is a subclass of engine |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage OutboardEngine "outboard engine") | Cars.kif 4253-4253 | |
| (termFormat EnglishLanguage OutboardEngine "outboard motor") | Cars.kif 4254-4254 | |
| (subclass SeagullOutboard OutboardEngine) | Cars.kif 4627-4627 | Seagull outboard is a subclass of outboard motor |
| antecedent |
|
|
| (=> (instance ?OE OutboardEngine) (hasPurpose ?OE (exists (?W) (and (instance ?W WaterVehicle) (meetsSpatially ?OE ?W) (orientation ?OE ?W Outside))))) |
Cars.kif 4257-4264 | If X is an instance of outboard motor, then X has the purpose there exists Y such that Y is an instance of water vehicle, X meets Y, and X is outside of to Y |