|
|
   Eye
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Eye EnglishLanguage "The Organ of sight.") | Mid-level-ontology.kif 11586-11586 | |
| (externalImage Eye "http://upload.wikimedia.org/wikipedia/commons/7/71/Menschliches_auge.jpg") | pictureList.kif 87-87 | |
| (externalImage Eye "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ bodypart/ eye/ eye_01.png") | pictureList.kif 421-421 | |
| (subclass Eye AnimalAnatomicalStructure) | Mid-level-ontology.kif 11585-11585 | |
| (subclass Eye Organ) | Mid-level-ontology.kif 11584-11584 |
| appearance as argument number 2 |
|
|
| (initialPart Cornea Eye) | Mid-level-ontology.kif 11613-11613 | |
| (termFormat ChineseLanguage Eye "眼睛") | domainEnglishFormat.kif 23031-23031 | |
| (termFormat ChineseTraditionalLanguage Eye "眼睛") | domainEnglishFormat.kif 23030-23030 | |
| (termFormat EnglishLanguage Eye "eye") | domainEnglishFormat.kif 23029-23029 |
| antecedent |
|
|
| (=> (instance ?EYE Eye) (capability Seeing instrument ?EYE)) |
Mid-level-ontology.kif 11588-11590 | |
| (=> (instance ?EYE Eye) (exists (?HEAD) (and (instance ?HEAD Head) (part ?EYE ?HEAD)))) |
Mid-level-ontology.kif 11592-11597 |
| consequent |
|
|
| (=> (and (instance ?C Crying) (experiencer ?C ?H)) (exists (?T ?E) (and (instance ?T TearSubstance) (origin ?C ?E) (objectTransferred ?C ?T) (instance ?E Eye) (part ?E ?H)))) |
emotion.kif 1129-1139 | |
| (=> (instance ?E Eyelid) (hasPurpose ?E (exists (?EYE ?P ?C) (and (instance ?C Covering) (instance ?C BodyMotion) (instance ?P Human) (experiencer ?C ?P) (instrument ?C ?E) (patient ?C ?EYE) (instance ?EYE Eye) (part ?EYE ?P) (part ?E ?P))))) |
Mid-level-ontology.kif 11641-11654 | |
| (=> (instance ?I EyeIris) (exists (?E) (and (instance ?E Eye) (part ?I ?E)))) |
Mid-level-ontology.kif 11660-11665 | |
| (=> (instance ?PE ProtectiveEyewear) (hasPurpose ?PE (=> (and (instance ?PERSON Human) (wears ?PERSON ?PE)) (exists (?PROTECT ?EYE ?INJ) (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 3485-3511 | |
| (=> (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 3513-3526 | |
| (=> (instance ?R Retina) (exists (?E) (and (instance ?E Eye) (part ?R ?E)))) |
Mid-level-ontology.kif 10561-10566 | |
| (=> (instance ?T TearSubstance) (hasPurpose ?T (exists (?L ?EYE) (and (instance ?L Lubricating) (objectTransferred ?L ?T) (instance ?EYE Eye) (destination ?L ?EYE))))) |
Mid-level-ontology.kif 11852-11860 |
|
|
|
