(=> (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 3531-3552 | |
(subclass Respirator SafetyDevice) | Cars.kif 3526-3526 | |
(subclass Respirator WearableItem) | Cars.kif 3527-3527 | |
(subclass Respirator Mask) | Cars.kif 3528-3528 | |
(subclass N95Mask Respirator) | Medicine.kif 4868-4868 |