Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| StarterMotor(starter motor) |
| appearance as argument number 1 |
|
| (subclass StarterMotor Motor) | Cars.kif 3815-3815 | Starter motor is a subclass of motor |
| (documentation StarterMotor EnglishLanguage "Any Motor that has the intended use of starting an IntermittentCombustionEngine. In most Automobiles it is a small electric motor, but in a diesel heavy equipment engine there may be an electric motor that starts a gas engine that in turn starts the diesel engine.") | Cars.kif 3817-3821 | Starter motor is a subclass of motor |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage StarterMotor "starter motor") | Cars.kif 3816-3816 |
| antecedent |
|
|
| (=> (instance ?SM StarterMotor) (hasPurpose ?SM (exists (?P1 ?P2 ?ICE) (and (instance ?ICE InternalCombustionEngine) (instrument ?P1 ?SM) (instrument ?P2 ?ICE) (causes ?P1 ?P2))))) |
Cars.kif 3823-3831 | If X is an instance of starter motor, then X has the purpose there exist Y, Z, W such that W is an instance of internal combustion engine, X is an instrument for Y, W is an instrument for Z, and Y causes Z |
|