Eye
|
|
appearance as argument number 1 |
(documentation Eye EnglishLanguage "The Organ of sight.") | Mid-level-ontology.kif 12135-12135 | |
(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 12134-12134 | Eye is a subclass of animal anatomical structure |
(subclass Eye Organ) | Mid-level-ontology.kif 12133-12133 | Eye is a subclass of organ |
appearance as argument number 2 |
(initialPart Cornea Eye) | Mid-level-ontology.kif 12162-12162 | Every cornea is initially part of a 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 12137-12139 |
|
(=> (instance ?EYE Eye) (exists (?HEAD) (and (instance ?HEAD Head) (part ?EYE ?HEAD)))) |
Mid-level-ontology.kif 12141-12146 |
|
consequent |
statement |
(subclass LeftEye (BodySideFn Left Eye)) |
Medicine.kif 2882-2882 | Left eye is a subclass of the left eye |
(subclass RightEye (BodySideFn Right Eye)) |
Medicine.kif 2885-2885 | Right eye is a subclass of the right eye |