Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ProtectiveEyewear
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ProtectiveEyewear SafetyDevice) | Cars.kif 3343-3343 | Protective eyewear is a subclass of safety device |
| (subclass ProtectiveEyewear WearableItem) | Cars.kif 3344-3344 | Protective eyewear is a subclass of wearable item |
| (documentation ProtectiveEyewear EnglishLanguage "A general concept for a WearableItem (like goggles and protective glasses) designed to prevent the Injuring of Eye of the wearer.") | Cars.kif 3345-3345 | Protective eyewear is a subclass of wearable item |
| (externalImage ProtectiveEyewear "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ c/ cd/ Blowtorching_goggles_and_helmet.jpg/ 120px_Blowtorching_goggles_and_helmet.jpg") | pictureList.kif 1939-1939 | Protective eyewear is a subclass of wearable item |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PE ProtectiveEyewear) (hasPurpose ?PE (=> (and (instance ?PERSON Human) (wears ?PERSON ?PE)) (exists (?PROTECT ?EYE ?INJ ?I ?T) (and (instance ?PROTECT Process) (instrument ?PROTECT ?PE) (subclass ?INJ (KappaFn ?I (exists (?HUMAN) (and (instance ?I Injuring) (instance ?EYE Eye) (instance ?HUMAN Human) (properPart ?EYE ?HUMAN) (patient ?I ?EYE) (=> (holdsDuring ?T (patient ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROTECT ?PERSON)))))))) (prevents ?PROTECT ?INJ)))))) |
Cars.kif 3347-3373 | If X is an instance of protective eyewear, then X has the purpose Y is an instance of human, Y wears Xthere exist Z, W,, , V,, , U, T such that Z is an instance of process, X is an instrument for Z, V is a subclass of the class described by U, and Z prevents the occurrence of V |
| (=> (instance ?PE ProtectiveEyewear) (hasPurpose ?PE (exists (?PERSON ?FACE ?EYE ?COVER) (and (instance ?PERSON Animal) (instance ?FACE Face) (instance ?EYE Eye) (properPart ?EYE ?FACE) (properPart ?FACE ?PERSON) (wears ?PERSON ?PE) (instance ?COVER Covering) (agent ?COVER ?PE) (patient ?COVER ?FACE))))) |
Cars.kif 3375-3388 | If X is an instance of protective eyewear, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of animal (3) Z is an instance of face (4) W is an instance of eye (5) W is a proper part of Z (6) Z is a proper part of Y (7) Y wears X (8) V is an instance of covering (9) X is an agent of V (10) Z is a patient of V |
|
