Eye
|
|
appearance as argument number 1 |
(documentation Eye EnglishLanguage "The Organ of sight.") | Mid-level-ontology.kif 12107-12107 | |
(externalImage Eye "http://articulatesoftware.com/SUMOpictures/people/bodypart/ eye/ eye_01.png") | pictureList.kif 421-421 | |
(externalImage Eye "http://upload.wikimedia.org/wikipedia/commons/7/71/Menschliches_auge.jpg") | pictureList.kif 87-87 | |
(subclass Eye AnimalAnatomicalStructure) | Mid-level-ontology.kif 12106-12106 | Eye est une sous-classe de AnimalAnatomicalStructure |
(subclass Eye Organ) | Mid-level-ontology.kif 12105-12105 | Eye est une sous-classe de organe |
appearance as argument number 2 |
(initialPart Cornea Eye) | Mid-level-ontology.kif 12134-12134 | initialPart Cornea and Eye |
(termFormat ChineseLanguage Eye "眼睛") | domainEnglishFormat.kif 23038-23038 | |
(termFormat ChineseTraditionalLanguage Eye "眼睛") | domainEnglishFormat.kif 23037-23037 | |
(termFormat EnglishLanguage Eye "eye") | domainEnglishFormat.kif 23036-23036 |
antecedent |
(=> (instance ?EYE Eye) (capability Seeing instrument ?EYE)) |
Mid-level-ontology.kif 12109-12111 | |
(=> (instance ?EYE Eye) (exists (?HEAD) (and (instance ?HEAD Head) (part ?EYE ?HEAD)))) |
Mid-level-ontology.kif 12113-12118 |
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 | |
(=> (and (instance ?E Eyebrow) (attribute ?H Healthy) (part ?E ?H)) (exists (?EYE) (and (instance ?EYE Eye) (part ?EYE ?H) (orientation ?EYE ?E Near)))) |
Anatomy.kif 1439-1448 | |
(=> (and (instance ?E Eyebrow) (holdsDuring ?T (and (attribute ?H Healthy) (attribute ?H Standing))) (part ?E ?H)) (exists (?EYE) (and (instance ?EYE Eye) (part ?EYE ?H) (orientation ?E ?EYE Above)))) |
Anatomy.kif 1469-1481 | |
(=> (and (instance ?F Forehead) (holdsDuring ?T (and (attribute ?H Healthy) (attribute ?H Standing))) (part ?E ?H)) (exists (?EYE) (and (instance ?EYE Eye) (part ?EYE ?H) (orientation ?F ?EYE Above)))) |
Anatomy.kif 1488-1500 | |
(=> (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 12162-12175 |
|
(=> (instance ?I EyeIris) (exists (?E) (and (instance ?E Eye) (part ?I ?E)))) |
Mid-level-ontology.kif 12181-12186 | |
(=> (instance ?P Pupil) (exists (?I) (and (instance ?I Eye) (equal ?I (HoleHostFn ?P))))) |
Mid-level-ontology.kif 12125-12131 | |
(=> (instance ?PE ProtectiveEyewear) (hasPurpose ?PE (=> (exists (?PERSON) (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 3490-3517 |
|
(=> (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 3519-3532 |
|
(=> (instance ?R Retina) (exists (?E) (and (instance ?E Eye) (part ?R ?E)))) |
Mid-level-ontology.kif 11057-11062 | |
(=> (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 12374-12382 | |
(=> (visualAcuity ?H1 ?I1 ?I2) (exists (?H2) (and (not (attribute ?H2 (ImpairedBodyPartFn Eye))) (visualAcuity ?H2 ?I2 ?I2)))) |
Medicine.kif 1718-1724 |
statement |
(subclass LeftEye (BodySideFn Left Eye)) |
Medicine.kif 2882-2882 | LeftEye est une sous-classe de BodySideFn Left and Eye |
(subclass RightEye (BodySideFn Right Eye)) |
Medicine.kif 2885-2885 | RightEye est une sous-classe de BodySideFn Right and Eye |