(=>
(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 2329-2363 |
- Wenn Physical ist ein fall von AutomobileTransmission %n{nicht},
- dann ** Physical hat Zweck von es gibt entity, ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity,, , ** entity, and und ** entity um ** entity ist ein fall von Crankshaft %n{nicht} und ** ** entity ist ein fall von Driveshaft %n{nicht} und ** ** entity ist ein fall von Automobile %n{nicht} und ** ** entity ist ein teil von ** ** entity %n{nicht} und ** Physical ist ein teil von ** ** entity %n{nicht} und ** entity ist ein teil von ** ** entity %n{nicht} und ** entity wird mit ** Physical angeschlossen und ** ** entity wird mit ** Physical angeschlossen und ** ** entity ist ein fall von Rotating %n{nicht} und ** ** entity ist ein fall von Rotating %n{nicht} und ** ** entity ist ein fall von Rotating %n{nicht} und ** ** entity ist ein fall von Rotating %n{nicht} und ** entity ist ein patient von ** ** entity %n{nicht} und ** entity ist ein patient von ** ** entity %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und ** ** entity ist ein patient von ** ** entity %n{nicht} und ** ** entity verursacht ** ** entity %n{nicht} und ** ** entity verursacht ** ** entity %n{nicht} und ** ** entity ist gleich ** ** entity nicht und das mass von ** entity ist RotationFn ** ** entity and MinuteDuration %n{nicht} haelt waehrend ** ** entity %n{nicht} und das mass von ** entity ist RotationFn ** ** entity and MinuteDuration %n{nicht} haelt waehrend ** ** entity %n{nicht} und das mass von ** ** entity ist RotationFn ** ** entity and MinuteDuration %n{nicht} haelt waehrend ** ** entity %n{nicht} und das mass von ** ** entity ist RotationFn ** ** entity and MinuteDuration %n{nicht} haelt waehrend ** ** entity %n{nicht} und ** ** entity ist gleich ** ** entity nicht %n{nicht}
|