| (=> (and (instance ?X Respirator) (instance ?PERSON Animal) (wears ?PERSON ?X)) (hasPurpose ?X (exists (?INHAL ?INJ ?PROTECT ?I) (and (instance ?PROTECT Process) (instrument ?PROTECT ?X) (prevents ?PROTECT ?INJ) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?H) (and (instance ?H Human) (patient ?I ?H) (instance ?INHAL Inhaling) (agent ?INHAL ?H) (causes ?I ?INHAL)))))))))) |
Cars.kif 3539-3560 | |
| (subclass Respirator SafetyDevice) | Cars.kif 3534-3534 | |
| (subclass Respirator WearableItem) | Cars.kif 3535-3535 | |
| (subclass Respirator Mask) | Cars.kif 3536-3536 | |
| (subclass N95Mask Respirator) | Medicine.kif 4868-4868 |
|
|