(=>
(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 3864-3882 |
If X is an instance of steering column lock, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of steering column (3) W is an instance of automobile (4) Y is a component of W (5) X is a part of Y (6) Z is an instance of protecting (7) X is an instrument for Z (8) locked is an attribute of X holds during V decreases likelihood of there exists U such that U is an instance of stealing (9) W is a patient of U holds during V |
