Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FourStrokeExhaust(four stroke exhaust) |
| appearance as argument number 1 |
|
| (subclass FourStrokeExhaust Motion) | Cars.kif 172-172 | Four stroke exhaust is a subclass of motion |
| (documentation FourStrokeExhaust EnglishLanguage "In this cycle of a four stroke engine, exhaust is driven out. During the 1st, 2nd, and 4th stroke the piston is relying on power and the momentum generated by the other pistons.") | Cars.kif 174-176 | Four stroke exhaust is a subclass of motion |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FourStrokeExhaust "four stroke exhaust") | Cars.kif 173-173 |
| antecedent |
|
|
| (=> (and (instance ?F FourStrokeExhaust) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?F ?C)) (exists (?E ?M) (and (instance ?M GasMotion) (instance ?E Exhaust) (subProcess ?M ?F) (origin ?M ?I) (patient ?M ?E)))) |
Cars.kif 178-191 | If X is an instance of four stroke exhaust, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exist W, V such that V is an instance of gas motion, W is an instance of exhaust, V is a subprocess of X, V originates at Z, and W is a patient of V |
| consequent |
|
|
|