| (=> (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 3447-3476 | |
| (subclass RadiatingSound Radiating) | Merge.kif 13676-13676 | |
| (subclass Ringing RadiatingSound) | Music.kif 1348-1348 | |
| (subclass MusicalTone RadiatingSound) | Mid-level-ontology.kif 764-764 | |
| (subclass RadiatingSoundUltrasonic RadiatingSound) | Mid-level-ontology.kif 770-770 | |
| (subclass Echoing RadiatingSound) | Mid-level-ontology.kif 2630-2630 | |
| (subclass Thunder RadiatingSound) | Mid-level-ontology.kif 3051-3051 | |
| (subclass Clapping RadiatingSound) | Mid-level-ontology.kif 13090-13090 | |
| (subclass Barking RadiatingSound) | Mid-level-ontology.kif 23861-23861 | |
| (subclass MakingMusic RadiatingSound) | Merge.kif 13696-13696 | |
| (subclass Vocalizing RadiatingSound) | Merge.kif 13715-13715 |
|
|