| Respirator(respirator)
| | gas_helmet, gasmask, oxygen_mask, respirator |
| appearance as argument number 1 |
|
|
| (subclass Respirator SafetyDevice) | Cars.kif 3604-3604 | Respirator is a subclass of safety device |
| (subclass Respirator WearableItem) | Cars.kif 3605-3605 | Respirator is a subclass of wearable item |
| (subclass Respirator Mask) | Cars.kif 3606-3606 | Respirator is a subclass of mask |
| (documentation Respirator EnglishLanguage "Device designed to protect the wearer from Injuring caused by Inhaling of harmful substances.") | Cars.kif 3607-3607 | Respirator is a subclass of mask |
| (externalImage Respirator "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ Air_Purifying_Respirator.jpg") | pictureList.kif 1953-1953 | Respirator is a subclass of mask |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 3609-3630 | If X is an instance of respirator, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W,, , V, U such that V is an instance of process, X is an instrument for V, V prevents the occurrence of W, and W is a subclass of the class described by U |
|
|
|