Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| IntermittentCombustionEngine(intermittent combustion engine) |
| appearance as argument number 1 |
|
| (subclass IntermittentCombustionEngine InternalCombustionEngine) | Cars.kif 44-44 | Intermittent combustion engine is a subclass of internal combustion engine |
| (documentation IntermittentCombustionEngine EnglishLanguage "An Engine, such as found in a modern Automobile, in which Combustion is not continuous, as in a Rocket, but rather a rapid series of small Explosions.") | Cars.kif 45-47 | Intermittent combustion engine is a subclass of internal combustion engine |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain engineDisplacement 1 IntermittentCombustionEngine) | Cars.kif 4868-4868 | The number 1 argument of engine displacement is an instance of intermittent combustion engine |
| antecedent |
|
|
| (=> (instance ?I IntermittentCombustionEngine) (hasPurpose ?I (exists (?E ?M) (and (instance ?E Explosion) (instance ?M Motion) (eventLocated ?E ?I) (eventLocated ?M ?I) (causes ?E ?M))))) |
Cars.kif 233-242 | If X is an instance of intermittent combustion engine, then X has the purpose there exist Y, Z such that Y is an instance of explosion, Z is an instance of motion, Y is located at X, Z is located at X, and Y causes Z |
| (=> (and (instance ?C Crankshaft) (instance ?I IntermittentCombustionEngine) (part ?I ?C)) (hasPurpose ?C (exists (?E ?R) (and (instance ?E Explosion) (instance ?R Rotating) (patient ?R ?C) (eventLocated ?R ?I) (causes ?E ?R))))) |
Cars.kif 302-314 | If X is an instance of crankshaft, Y is an instance of intermittent combustion engine, and Y is a part of X, then X has the purpose there exist Z, W such that Z is an instance of explosion, W is an instance of rotating, X is a patient of W, W is located at Y, and Z causes W |
|