Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Eye
Eye(eye)
OD, OS, compound_eye, eye, naked_eye, ocellus, oculus, oculus_dexter, oculus_sinister, optic, peeper, simple_eye, stemma

appearance as argument number 1
-------------------------


(documentation Eye EnglishLanguage "The Organ of sight.") Mid-level-ontology.kif 10627-10627
(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 10626-10626 Eye is a subclass of animal anatomical structure
(subclass Eye Organ) Mid-level-ontology.kif 10625-10625 Eye is a subclass of organ

appearance as argument number 2
-------------------------


(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 10629-10631
(=>
    (instance ?EYE Eye)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EYE ?HEAD))))
Mid-level-ontology.kif 10633-10638

consequent
-------------------------


(=>
    (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 10663-10676
(=>
    (instance ?I EyeIris)
    (exists (?E)
        (and
            (instance ?E Eye)
            (part ?I ?E))))
Mid-level-ontology.kif 10682-10687
(=>
    (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 3499-3525
(=>
    (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 3527-3540
(=>
    (instance ?R Retina)
    (exists (?E)
        (and
            (instance ?E Eye)
            (part ?R ?E))))
Mid-level-ontology.kif 9717-9722
(=>
    (instance ?T Tear)
    (hasPurpose ?T
        (exists (?L ?EYE)
            (and
                (instance ?L Lubricating)
                (objectTransferred ?L ?T)
                (instance ?EYE Eye)
                (destination ?L ?EYE)))))
Mid-level-ontology.kif 10820-10828
(=>
    (instance ?T TearSubstance)
    (exists (?P ?E)
        (and
            (instance ?E Eye)
            (instrument ?P ?E)
            (result ?P ?T))))
Mid-level-ontology.kif 9565-9571


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners