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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Eye

Sigma KEE - Eye
Eye

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


(documentation Eye EnglishLanguage "The Organ of sight.") Mid-level-ontology.kif 10051-10051
(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 10050-10050 subclass Eye and AnimalAnatomicalStructure
(subclass Eye Organ) Mid-level-ontology.kif 10049-10049 subclass Eye and Organ

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


(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 10053-10055
(=>
    (instance ?EYE Eye)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EYE ?HEAD))))
Mid-level-ontology.kif 10057-10062

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 10086-10099
(=>
    (instance ?I EyeIris)
    (exists (?E)
        (and
            (instance ?E Eye)
            (part ?I ?E))))
Mid-level-ontology.kif 10104-10109
(=>
    (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 3460-3486
(=>
    (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 3488-3501
(=>
    (instance ?R Retina)
    (exists (?E)
        (and
            (instance ?E Eye)
            (part ?R ?E))))
Mid-level-ontology.kif 9436-9441
(=>
    (instance ?T TearSubstance)
    (exists (?P ?E)
        (and
            (instance ?E Eye)
            (instrument ?P ?E)
            (result ?P ?T))))
Mid-level-ontology.kif 9271-9277


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

Show without tree


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