(=> (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 3516-3537 | |
(subclass Respirator SafetyDevice) | Cars.kif 3511-3511 | |
(subclass Respirator WearableItem) | Cars.kif 3512-3512 | |
(subclass Respirator Mask) | Cars.kif 3513-3513 | |
(subclass N95Mask Respirator) | Medicine.kif 4868-4868 |