(=> (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 | 呼吸器 是 SafetyDevice 的 subclass |
(subclass Respirator WearableItem) | Cars.kif 3527-3527 | 呼吸器 是 可穿戴物品 的 subclass |
(subclass Respirator Mask) | Cars.kif 3528-3528 | 呼吸器 是 Mask 的 subclass |
(subclass N95Mask Respirator) | Medicine.kif 4868-4868 | N95Mask 是 呼吸器 的 subclass |