(=>
(instance ?AI AirIntake)
(hasPurpose ?AI
(exists (?A ?E ?T)
(and
(instance ?A Air)
(instance ?E Engine)
(instance ?T Transfer)
(origin ?T ?AI)
(destination ?T ?E)
(patient ?T ?A))))) |
Cars.kif 973-983 |
|
(=>
(instance ?B Backfire)
(exists (?E ?NC)
(and
(not
(instance ?NC EngineCylinder))
(instance ?E Engine)
(part ?NC ?E)
(eventLocated ?B ?NC)))) |
Cars.kif 1354-1362 |
|
(=>
(instance ?D Distributor)
(hasPurpose ?D
(exists (?SP ?S ?O ?R ?E)
(and
(instance ?E Engine)
(instance ?SP SparkPlug)
(instance ?S Spark)
(part ?O ?D)
(part ?D ?E)
(part ?SP ?E)
(instance ?R Rotating)
(causes ?R ?S))))) |
Cars.kif 2258-2270 |
|
(=>
(instance ?ECM EngineControlModule)
(hasPurpose ?ECM
(exists (?A ?E ?P1 ?P2)
(and
(instance ?A Automobile)
(instance ?E Engine)
(instance ?P1 Process)
(instance ?P2 Process)
(part ?E ?A)
(part ?ECM ?A)
(eventLocated ?P1 ?ECM)
(eventLocated ?P2 ?E)
(causes ?P1 ?P2))))) |
Cars.kif 2503-2516 |
|
(=>
(instance ?FWD FourWheelDriveVehicle)
(hasPurpose ?FWD
(forall (?W)
(and
(part ?W ?FWD)
(exists (?E ?C ?R1 ?R2)
(and
(instance ?E Engine)
(part ?E ?FWD)
(instance ?C Crankshaft)
(part ?C ?E)
(instance ?R1 Rotating)
(patient ?R1 ?C)
(instance ?R2 Rotating)
(patient ?R2 ?W)
(causes ?R1 ?R2))))))) |
Cars.kif 4649-4665 |
|
(=>
(instance ?GP GasPedal)
(hasPurpose ?GP
(exists (?P ?T ?F ?E ?A)
(and
(instance ?P Pushing)
(instance ?T Transfer)
(instance ?F Fuel)
(instance ?E Engine)
(instance ?A Automobile)
(part ?GP ?A)
(part ?E ?A)
(destination ?P ?GP)
(destination ?T ?E)
(patient ?T ?F)
(causes ?P ?T))))) |
Cars.kif 2524-2539 |
|
(=>
(instance ?GT GasTank)
(hasPurpose ?GT
(exists (?F ?T ?E)
(and
(instance ?F Fuel)
(contains ?GT ?F)
(instance ?E Engine)
(instance ?T Transfer)
(origin ?T ?GT)
(destination ?T ?E)
(patient ?T ?F))))) |
Cars.kif 1000-1011 |
|
(=>
(instance ?IVE InteriorVehicleEquipment)
(hasPurpose ?IVE
(exists (?V ?E)
(and
(instance ?V Automobile)
(instance ?E Engine)
(part ?E ?V)
(not
(part ?IVE ?E))
(part ?IVE ?V)
(orientation ?IVE ?V Inside))))) |
Cars.kif 4755-4766 |
|
(=>
(instance ?TWD TwoWheelDriveVehicle)
(hasPurpose ?TWD
(exists (?W1 ?W2)
(and
(part ?W1 ?TWD)
(part ?W2 ?TWD)
(not
(equal ?W1 ?W2))
(exists (?E ?C ?R1 ?R2 ?R3)
(and
(instance ?E Engine)
(part ?E ?TWD)
(instance ?C Crankshaft)
(part ?C ?E)
(instance ?R1 Rotating)
(patient ?R1 ?C)
(instance ?R2 Rotating)
(patient ?R2 ?W1)
(causes ?R1 ?R2)
(patient ?R3 ?W2)
(causes ?R1 ?R3)
(not
(exists (?W3 ?R4)
(and
(not
(equal ?W1 ?W3))
(not
(equal ?W2 ?W3))
(part ?W3 ?TWD)
(instance ?R4 Rotating)
(patient ?R4 ?W3)
(causes ?R1 ?R4)))))))))) |
Cars.kif 4672-4704 |
|
(=>
(instance ?UD UnpoweredDevice)
(not
(exists (?E)
(and
(instance ?E Engine)
(part ?E ?UD))))) |
Cars.kif 4546-4552 |
|
(=>
(instance ?X RemoteIgnitionControl)
(hasPurpose ?X
(exists (?VEHICLE ?ENGINE ?SIGNAL ?PROC)
(and
(instance ?VEHICLE PoweredVehicle)
(instance ?SIGNAL ElectronicSignalling)
(instrument ?SIGNAL ?X)
(destination ?SIGNAL ?VEHICLE)
(instance ?ENGINE Engine)
(component ?ENGINE ?VEHICLE)
(instance ?PROC
(OperatingFn Engine))
(experiencer ?PROC ?ENGINE)
(causes ?SIGNAL ?PROC))))) |
Cars.kif 3816-3830 |
|