(=> (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 3482-3509 |
|
(subclass Eye Organ) | Mid-level-ontology.kif 12106-12106 | Eye は 臓器 の subclass では %n |
(subclass Eye AnimalAnatomicalStructure) | Mid-level-ontology.kif 12107-12107 | Eye は AnimalAnatomicalStructure の subclass では %n |