(=>
(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 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 ?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 |
(=>
(instance ?S Supercharger)
(hasPurpose ?S
(exists (?T ?IV ?A)
(and
(instance ?T GasMotion)
(origin ?T ?S)
(instance ?IV IntakeValve)
(destination ?T ?IV)
(instance ?A Air)
(objectTransferred ?T ?A)
(holdsDuring
(WhenFn ?T)
(attribute ?A Pressurized)))))) |
Cars.kif 5084-5096 |
If X is an instance of supercharger, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of gas motion (3) Y originates at X (4) Z is an instance of intake valve (5) Y ends up at Z (6) W is an instance of air (7) the object transferred in Y is W (8) pressurized is an attribute of W holds during the time of existence of Y |
