TreeView Knowledge Base Browser

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)))))

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