(=>
(attribute ?X PassengerCarRental)
(hasPurpose ?X
(exists (?RENT ?CAR ?CUST)
(and
(customer ?CUST ?X)
(instance ?CAR Automobile)
(instance ?RENT Renting)
(possesses ?X ?CAR)
(agent ?RENT ?CUST))))) |
naics.kif 9711-9720 |
|
(=>
(instance ?A AutomobileShock)
(hasPurpose ?A
(exists (?C)
(and
(instance ?C Automobile)
(part ?A ?C))))) |
Cars.kif 845-851 |
|
(=>
(instance ?AT AutomobileTransmission)
(hasPurpose ?AT
(exists (?C ?D ?A ?R1 ?N1 ?R2 ?R3 ?R4 ?N2 ?N3)
(and
(instance ?C Crankshaft)
(instance ?D Driveshaft)
(instance ?A Automobile)
(part ?D ?A)
(part ?AT ?A)
(part ?C ?A)
(connectedEngineeringComponents ?C ?AT)
(connectedEngineeringComponents ?D ?AT)
(instance ?R1 Rotating)
(instance ?R2 Rotating)
(instance ?R3 Rotating)
(instance ?R4 Rotating)
(patient ?R1 ?C)
(patient ?R2 ?C)
(patient ?R3 ?D)
(patient ?R4 ?D)
(causes ?R1 ?R3)
(causes ?R2 ?R4)
(not
(equal ?R1 ?R2))
(holdsDuring ?R1
(measure ?C
(RotationFn ?N1 MinuteDuration)))
(holdsDuring ?R2
(measure ?C
(RotationFn ?N1 MinuteDuration)))
(holdsDuring ?R3
(measure ?D
(RotationFn ?N2 MinuteDuration)))
(holdsDuring ?R4
(measure ?D
(RotationFn ?N3 MinuteDuration)))
(not
(equal ?N2 ?N3)))))) |
Cars.kif 2330-2364 |
- Wenn koerperlicher Gegenstand ist ein fall von AutomobileTransmission ,
- dann ** koerperlicher Gegenstand hat Zweck von es gibt Wesen, ** Wesen,, , ** Wesen,, , ** Wesen,, , ** Wesen,, , ** Wesen,, , ** Wesen,, , ** Wesen,, , ** Wesen, and und ** Wesen um ** Wesen ist ein fall von Crankshaft und ** ** Wesen ist ein fall von Driveshaft und ** ** Wesen ist ein fall von Automobile und ** ** Wesen ist ein teil von ** ** Wesen und ** koerperlicher Gegenstand ist ein teil von ** ** Wesen und ** Wesen ist ein teil von ** ** Wesen und ** Wesen wird mit ** koerperlicher Gegenstand angeschlossen und ** ** Wesen wird mit ** koerperlicher Gegenstand angeschlossen und ** ** Wesen ist ein fall von Rotating und ** ** Wesen ist ein fall von Rotating und ** ** Wesen ist ein fall von Rotating und ** ** Wesen ist ein fall von Rotating und ** Wesen ist ein patient von ** ** Wesen und ** Wesen ist ein patient von ** ** Wesen und ** ** Wesen ist ein patient von ** ** Wesen und ** ** Wesen ist ein patient von ** ** Wesen und ** ** Wesen verursacht ** ** Wesen und ** ** Wesen verursacht ** ** Wesen und ** ** Wesen ist gleich ** ** Wesen nicht und das mass von ** Wesen ist RotationFn ** ** Wesen and MinuteDuration haelt waehrend ** ** Wesen und das mass von ** Wesen ist RotationFn ** ** Wesen and MinuteDuration haelt waehrend ** ** Wesen und das mass von ** ** Wesen ist RotationFn ** ** Wesen and MinuteDuration haelt waehrend ** ** Wesen und das mass von ** ** Wesen ist RotationFn ** ** Wesen and MinuteDuration haelt waehrend ** ** Wesen und ** ** Wesen ist gleich ** ** Wesen nicht
|
(=>
(instance ?D Driveshaft)
(hasPurpose ?D
(exists (?R1 ?R2 ?W ?A)
(and
(instance ?A Automobile)
(instance ?W Wheel)
(part ?D ?A)
(part ?W ?A)
(instance ?R1 Rotating)
(patient ?R1 ?D)
(patient ?R2 ?W)
(causes ?R1 ?R2))))) |
Cars.kif 2309-2321 |
|
(=>
(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 ?EF EngineFan)
(hasPurpose ?EF
(exists (?C ?E ?A)
(and
(instance ?A Automobile)
(instance ?C Cooling)
(instance ?E InternalCombustionEngine)
(part ?E ?A)
(part ?EF ?A)
(instrument ?C ?EF)
(patient ?C ?E))))) |
Cars.kif 2736-2747 |
|
(=>
(instance ?EM ExhaustManifold)
(hasPurpose ?EM
(exists (?A ?E ?C ?M ?T)
(and
(instance ?A Automobile)
(instance ?E Exhaust)
(instance ?C EngineCylinder)
(instance ?M AutomobileMuffler)
(instance ?T Transfer)
(part ?EM ?A)
(part ?C ?A)
(part ?M ?A)
(origin ?T ?C)
(destination ?T ?M)
(patient ?T ?E)
(instrument ?T ?E))))) |
Cars.kif 2613-2629 |
|
(=>
(instance ?EMS EngineMAPSensor)
(hasPurpose ?EMS
(exists (?ECM ?A)
(and
(instance ?ECM EngineControlModule)
(instance ?A Automobile)
(part ?EMS ?A)
(part ?ECM ?A)
(connectedEngineeringComponents ?EMS ?ECM))))) |
Cars.kif 3347-3356 |
|
(=>
(instance ?FB FanBelt)
(hasPurpose ?FB
(exists (?P1 ?P2 ?C ?A)
(and
(instance ?P1 Pulley)
(instance ?P2 Pulley)
(not
(equal ?P1 ?P2))
(instance ?C Crankshaft)
(instance ?A Automobile)
(part ?P1 ?A)
(part ?P2 ?A)
(part ?C ?A)
(part ?FB ?A)
(connectedEngineeringComponents ?C ?P1)
(connectedEngineeringComponents ?P1 ?FB)
(connectedEngineeringComponents ?FB ?P2))))) |
Cars.kif 2695-2712 |
|
(=>
(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 ?ICM IgnitionControlModule)
(hasPurpose ?ICM
(exists (?S ?A ?CP)
(and
(instance ?A Automobile)
(instance ?S Spark)
(instance ?CP ComputerProcess)
(part ?ICM ?A)
(eventLocated ?CP ?A)
(eventLocated ?S ?A)
(causes ?CP ?S))))) |
Cars.kif 3243-3254 |
|
(=>
(instance ?IV IntakeValve)
(hasPurpose ?IV
(exists (?A ?FV ?CC ?T)
(and
(instance ?A Automobile)
(instance ?FV FuelVapor)
(instance ?CC CombustionChamber)
(instance ?T Transfer)
(part ?IV ?A)
(part ?CC ?A)
(patient ?T ?FV)
(path ?T ?IV)
(destination ?T ?CC))))) |
Cars.kif 2674-2687 |
|
(=>
(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 ?PCVV PositiveCrankcaseVentilationValve)
(hasPurpose ?PCVV
(exists (?CR ?F ?CC ?T ?A)
(and
(instance ?CR Crankcase)
(instance ?F Fuel)
(instance ?CC CombustionChamber)
(instance ?T Transfer)
(instance ?A Automobile)
(part ?CR ?A)
(part ?CC ?A)
(part ?PCVV ?A)
(origin ?T ?CR)
(destination ?T ?CC)
(objectTransferred ?T ?F)
(path ?T ?PCVV))))) |
Cars.kif 3879-3895 |
|
(=>
(instance ?S AutomobileSeat)
(hasPurpose ?S
(exists (?H ?T ?V)
(and
(instance ?H Human)
(instance ?V Automobile)
(holdsDuring ?T
(and
(attribute ?H Sitting)
(located ?H ?S)
(located ?S ?V))))))) |
Cars.kif 5107-5118 |
|
(=>
(instance ?SVC ShuttleService)
(exists (?LIST ?VEHICLE ?AGENT)
(and
(agent ?SVC ?AGENT)
(possesses ?AGENT ?VEHICLE)
(instance ?VEHICLE Automobile)
(instance ?LIST List)
(forall (?X)
(=>
(inList ?X ?LIST)
(and
(instance ?X PostalPlace)
(exists (?TRANSPORT)
(and
(instance ?TRANSPORT Transportation)
(agent ?TRANSPORT ?AGENT)
(instrument ?TRANSPORT ?VEHICLE)
(destination ?TRANSPORT ?X))))))))) |
Hotel.kif 2046-2064 |
|
(=>
(instance ?VRR VehicleRoofRack)
(hasPurpose ?VRR
(exists (?T ?A ?C)
(and
(instance ?T Transfer)
(patient ?T ?C)
(instance ?A Automobile)
(orientation ?VRR ?A Outside)
(meetsSpatially ?C ?VRR)
(part ?VRR ?A)
(instrument ?T ?A))))) |
Cars.kif 4730-4741 |
|
(=>
(instance ?X AutoAirbag)
(hasPurpose ?X
(exists (?CAR ?PERSON ?IMP ?INF ?INJ ?HIT)
(and
(instance ?CAR Automobile)
(part ?X ?CAR)
(instance ?PERSON Human)
(contains ?CAR ?PERSON)
(instance ?IMP Impacting)
(patient ?IMP ?CAR)
(instance ?INF Inflating)
(patient ?INF ?X)
(causes ?IMP ?INF)
(hinders ?INF
(KappaFn ?INJ
(and
(instance ?INJ Injuring)
(experiencer ?INJ ?PERSON)
(exists (?HIT)
(and
(instance ?HIT Impacting)
(destination ?HIT ?CAR)
(experiencer ?HIT ?PERSON)
(causes ?HIT ?INJ)))))))))) |
Cars.kif 3693-3717 |
- Wenn koerperlicher Gegenstand ist ein fall von AutoAirbag ,
- dann ** koerperlicher Gegenstand hat Zweck von es gibt Wesen, ** Wesen,, , ** Wesen,, , ** Wesen,, , ** Wesen, and und ** Wesen um ** Wesen ist ein fall von Automobile und ** koerperlicher Gegenstand ist ein teil von ** Wesen und ** ** Wesen ist ein fall von Mensch und contains ** Wesen and ** ** Wesen und ** ** Wesen ist ein fall von Auswirken und ** Wesen ist ein patient von ** ** Wesen und ** ** Wesen ist ein fall von Inflating und ** koerperlicher Gegenstand ist ein patient von ** ** Wesen und ** ** Wesen verursacht ** ** Wesen und hinders ** ** Wesen and die kategorie die ** ** Wesen beschreibt
|
(=>
(instance ?X SteeringColumnLock)
(hasPurpose ?X
(exists (?SC ?P ?CAR ?T)
(and
(instance ?SC SteeringColumn)
(instance ?CAR Automobile)
(component ?SC ?CAR)
(part ?X ?SC)
(instance ?P Protecting)
(instrument ?P ?X)
(decreasesLikelihood
(holdsDuring ?T
(attribute ?X Locked))
(holdsDuring ?T
(exists (?STEAL)
(and
(instance ?STEAL Stealing)
(patient ?STEAL ?CAR))))))))) |
Cars.kif 4055-4073 |
|
Automobile
