(=> (instance ?PE ProtectiveEyewear) (hasPurpose ?PE (=> (exists (?PERSON) (and (instance ?PERSON Human) (wears ?PERSON ?PE))) (exists (?PROTECT ?EYE ?INJ ?I ?T) (and (instance ?PROTECT Process) (instrument ?PROTECT ?PE) (subclass ?INJ (KappaFn ?I (exists (?HUMAN) (and (instance ?I Injuring) (instance ?EYE Eye) (instance ?HUMAN Human) (properPart ?EYE ?HUMAN) (patient ?I ?EYE) (=> (holdsDuring ?T (patient ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROTECT ?PERSON)))))))) (prevents ?PROTECT ?INJ)))))) |
Cars.kif 3490-3517 |
|
(subclass ProtectiveEyewear SafetyDevice) | Cars.kif 3486-3486 | ProtectiveEyewear は SafetyDevice の subclass では %n |
(subclass ProtectiveEyewear WearableItem) | Cars.kif 3487-3487 | ProtectiveEyewear は WearableItem の subclass では %n |