| (=> (and (instance ?HP HearingProtection) (instance ?PERSON Human) (wears ?PERSON ?HP)) (hasPurpose ?HP (exists (?PROC ?INJ ?I) (and (instance ?PROC Process) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?SOUND ?HEAR ?HUMAN ?T) (and (instance ?SOUND RadiatingSound) (instance ?HEAR Hearing) (instance ?HUMAN Human) (patient ?HEAR ?SOUND) (experiencer ?HEAR ?HUMAN) (causes ?HEAR ?I) (experiencer ?I ?HUMAN) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))))) (prevents ?PROC ?INJ) (instrument ?PROC ?HP))))) |
Cars.kif 3455-3484 | |
| (subclass HearingProtection SafetyDevice) | Cars.kif 3452-3452 | 听力保护 是 SafetyDevice 的 subclass |
| (subclass HearingProtection WearableItem) | Cars.kif 3453-3453 | 听力保护 是 可穿戴物品 的 subclass |
|
|