Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Respirator(respirator)
|  | gas_helmet, gasmask, oxygen_mask, respirator |
| appearance as argument number 1 |
|
|
| (subclass Respirator SafetyDevice) | Cars.kif 3390-3390 | Respirator is a subclass of safety device |
| (subclass Respirator WearableItem) | Cars.kif 3391-3391 | Respirator is a subclass of wearable item |
| (subclass Respirator Mask) | Cars.kif 3392-3392 | 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 3393-3393 | 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 3395-3416 | 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 |
|