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 は AnimalAnatomicalStructure の subclass では %n |
(subclass Eye Organ) | Mid-level-ontology.kif 12105-12105 | Eye は 臓器 の subclass では %n |
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 は BodySideFn Left and Eye の subclass では %n |
(subclass RightEye (BodySideFn Right Eye)) |
Medicine.kif 2885-2885 | RightEye は BodySideFn Right and Eye の subclass では %n |