(=>
(instance ?HR BaseballRun)
(exists (?T1 ?T2 ?T3 ?T4 ?B1 ?B2 ?B3 ?B4)
(and
(instance ?T1 Touching)
(instance ?T2 Touching)
(instance ?T3 Touching)
(instance ?T4 Touching)
(instance ?B1 BaseballBase)
(instance ?B2 BaseballBase)
(instance ?B3 BaseballBase)
(instance ?B4 BaseballBase)
(not
(equal ?B1 ?B2))
(not
(equal ?B1 ?B3))
(not
(equal ?B1 ?B4))
(not
(equal ?B2 ?B3))
(not
(equal ?B2 ?B4))
(not
(equal ?B3 ?B4))
(subProcess ?T1 ?HR)
(subProcess ?T2 ?HR)
(subProcess ?T3 ?HR)
(subProcess ?T4 ?HR)))) |
Sports.kif 711-732 |
- Wenn Process ist ein fall von BaseballRun %n{nicht},
- dann es gibt ** Process, ** Process,, , ** Process,, , ** Process,, , Entity,, , ** Entity,, , ** Entity, and und ** Entity um ** ** Process ist ein fall von Touching %n{nicht} und ** ** Process ist ein fall von Touching %n{nicht} und ** ** Process ist ein fall von Touching %n{nicht} und ** ** Process ist ein fall von Touching %n{nicht} und ** Entity ist ein fall von BaseballBase %n{nicht} und ** ** Entity ist ein fall von BaseballBase %n{nicht} und ** ** Entity ist ein fall von BaseballBase %n{nicht} und ** ** Entity ist ein fall von BaseballBase %n{nicht} und ** Entity ist gleich ** ** Entity nicht und ** Entity ist gleich ** ** Entity nicht und ** Entity ist gleich ** ** Entity nicht und ** ** Entity ist gleich ** ** Entity nicht und ** ** Entity ist gleich ** ** Entity nicht und ** ** Entity ist gleich ** ** Entity nicht und ** ** Process ist ein subProzess von ** Process und ** ** Process ist ein subProzess von ** Process und ** ** Process ist ein subProzess von ** Process und ** ** Process ist ein subProzess von ** Process
|