(=>
(and
(instance ?C Cavitating)
(instance ?P Pump)
(attribute ?P DeviceOn)
(attribute ?L1 Liquid)
(contains ?P ?L1))
(exists (?PP ?L2)
(and
(part ?PP ?P)
(hasPurpose ?PP
(and
(attribute ?L2 Liquid)
(meetsSpatially ?L2 ?PP)))
(holdsDuring
(WhenFn ?C)
(not
(exists (?L3)
(and
(attribute ?L3 Liquid)
(meetsSpatially ?PP ?L3)))))))) |
Cars.kif 1628-1648 |
If X is an instance of cavitating, Y is an instance of pump, device on is an attribute of Y, liquid is an attribute of Z, and Y contains Z, then there exist W, V such that W is a part of Y, W has the purpose liquid is an attribute of V, V meets W, there doesn't exist U such that liquid is an attribute of U, and W meets U holds during the time of existence of X |
Pump