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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Eye
Eye

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


(documentation Eye EnglishLanguage "The Organ of sight.") Mid-level-ontology.kif 13457-13457
(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 13456-13456
(subclass Eye Organ) Mid-level-ontology.kif 13455-13455

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


(initialPart Cornea Eye) Mid-level-ontology.kif 13484-13484
(termFormat ChineseLanguage Eye "眼睛") domainEnglishFormat.kif 23052-23052
(termFormat ChineseTraditionalLanguage Eye "眼睛") domainEnglishFormat.kif 23051-23051
(termFormat EnglishLanguage Eye "eye") domainEnglishFormat.kif 23050-23050

antecedent
-------------------------


(=>
    (instance ?EYE Eye)
    (capability Seeing instrument ?EYE))		 Mid-level-ontology.kif 13459-13461
(=>
    (instance ?EYE Eye)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EYE ?HEAD))))		 Mid-level-ontology.kif 13463-13468

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 1474-1483
(=>
    (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 1504-1516
(=>
    (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 1523-1535
(=>
    (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 13512-13525
(=>
    (instance ?I EyeIris)
    (exists (?E)
        (and
            (instance ?E Eye)
            (part ?I ?E))))		 Mid-level-ontology.kif 13531-13536
(=>
    (instance ?P Pupil)
    (exists (?I)
        (and
            (instance ?I Eye)
            (equal ?I
                (HoleHostFn ?P)))))		 Mid-level-ontology.kif 13475-13481
(=>
    (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 3543-3570
(=>
    (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 3572-3585
(=>
    (instance ?R Retina)
    (exists (?E)
        (and
            (instance ?E Eye)
            (part ?R ?E))))		 Mid-level-ontology.kif 12407-12412
(=>
    (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 13724-13732
(=>
    (visualAcuity ?H1 ?I1 ?I2)
    (exists (?H2)
        (and
            (not
                (attribute ?H2
                    (ImpairedBodyPartFn Eye)))
            (visualAcuity ?H2 ?I2 ?I2))))		 Medicine.kif 1711-1717