(=>
(instance ?EC EngineCranking)
(exists (?EM ?E ?S ?R1 ?C ?R2)
(and
(instance ?EM ElectricalMotor)
(instance ?E InternalCombustionEngine)
(instance ?S Shaft)
(instance ?C Crankshaft)
(part ?S ?EM)
(subProcess ?R1 ?EC)
(instance ?R1 Rotating)
(patient ?R1 ?S)
(instance ?R2 Rotating)
(patient ?R2 ?C)
(part ?C ?E)
(causes ?R1 ?R2)))) |
Cars.kif 2198-2213 |
- Wenn Process ist ein fall von EngineCranking %n{nicht},
- dann es gibt Object, ** Object,, , ** Object,, , ** Process,, , ** Object, and und ** Process um ** Object ist ein fall von ElectricalMotor %n{nicht} und ** ** Object ist ein fall von InternalCombustionEngine %n{nicht} und ** ** Object ist ein fall von Shaft %n{nicht} und ** ** Object ist ein fall von Crankshaft %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** ** Process ist ein subProzess von ** Process und ** ** Process ist ein fall von Rotating %n{nicht} und ** ** Object ist ein patient von ** ** Process %n{nicht} und ** ** Process ist ein fall von Rotating %n{nicht} und ** ** Object ist ein patient von ** ** Process %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht} und ** ** Process verursacht ** ** Process %n{nicht}
|