(=>
(and
(instance ?F FourStrokeIntake)
(instance ?C EngineCylinder)
(instance ?I InternalCombustionChamber)
(equal ?C
(HoleHostFn ?I))
(eventLocated ?F ?C))
(exists (?FV ?M)
(and
(instance ?M GasMotion)
(instance ?FV FuelVapor)
(subProcess ?M ?F)
(destination ?M ?I)
(patient ?M ?FV)))) |
Cars.kif 124-137 |
If X is an instance of four stroke intake, 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 fuel vapor, V is a subprocess of X, V ends up at Z, and W is a patient of V |
(=>
(and
(instance ?F FourStrokeCompression)
(instance ?C EngineCylinder)
(instance ?I InternalCombustionChamber)
(equal ?C
(HoleHostFn ?I))
(eventLocated ?F ?C))
(holdsDuring
(EndFn
(WhenFn ?F))
(attribute ?I Pressurized))) |
Cars.kif 144-153 |
If X is an instance of four stroke compression, 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 pressurized is an attribute of Z holds during the end of the time of existence of X |
(=>
(and
(instance ?F FourStrokeCombustion)
(instance ?C EngineCylinder)
(instance ?I InternalCombustionChamber)
(equal ?C
(HoleHostFn ?I))
(eventLocated ?F ?C))
(exists (?CO)
(and
(instance ?CO Combustion)
(subProcess ?CO ?F)))) |
Cars.kif 160-170 |
If X is an instance of four stroke combustion, 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 exists W such that W is an instance of burning and W is a subprocess of X |
(=>
(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 |
(=>
(and
(instance ?E EngineCylinder)
(instance ?I InternalCombustionChamber)
(instance ?P Piston)
(instance ?T TwoStrokeIntake)
(holdsDuring ?T
(located ?P ?E))
(equal ?E
(HoleHostFn ?I))
(eventLocated ?T ?E))
(hasPurpose ?P
(holdsDuring ?T
(partiallyFills ?P ?I)))) |
Cars.kif 416-428 |
If All of the following hold: (1) X is an instance of engine cylinder (2) Y is an instance of internal combustion chamber (3) Z is an instance of piston (4) W is an instance of two stroke intake (5) Z is located at X holds during W (6) equal X and the host of the hole Y (7) W is located at X, then Z has the purpose Z partially fills Y holds during W |
(=>
(and
(instance ?T TwoStrokeTransfer)
(instance ?C EngineCylinder)
(instance ?I InternalCombustionChamber)
(equal ?C
(HoleHostFn ?I))
(eventLocated ?T ?C))
(exists (?E ?M)
(and
(instance ?M GasMotion)
(instance ?E Exhaust)
(subProcess ?M ?T)
(origin ?M ?I)
(patient ?M ?E)))) |
Cars.kif 476-489 |
If X is an instance of two stroke transfer, 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 |
ListFn__7Fn__0En1In2Re3Ra4In5In6Re7ReFn