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 13439-13439
(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 13438-13438 Eye は AnimalAnatomicalStructure の subclass では
(subclass Eye Organ) Mid-level-ontology.kif 13437-13437 Eye は 臓器 の subclass では

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


(initialPart Cornea Eye) Mid-level-ontology.kif 13466-13466 initialPart Cornea and Eye
(termFormat ChineseLanguage Eye "眼睛") domainEnglishFormat.kif 23041-23041 initialPart Cornea and Eye
(termFormat ChineseTraditionalLanguage Eye "眼睛") domainEnglishFormat.kif 23040-23040 initialPart Cornea and Eye
(termFormat EnglishLanguage Eye "eye") domainEnglishFormat.kif 23039-23039 initialPart Cornea and Eye

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


(=>
    (instance ?EYE Eye)
    (capability Seeing instrument ?EYE))		 Mid-level-ontology.kif 13441-13443
(=>
    (instance ?EYE Eye)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EYE ?HEAD))))		 Mid-level-ontology.kif 13445-13450

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 13494-13507
(=>
    (instance ?I EyeIris)
    (exists (?E)
        (and
            (instance ?E Eye)
            (part ?I ?E))))		 Mid-level-ontology.kif 13513-13518
(=>
    (instance ?P Pupil)
    (exists (?I)
        (and
            (instance ?I Eye)
            (equal ?I
                (HoleHostFn ?P)))))		 Mid-level-ontology.kif 13457-13463
(=>
    (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 12389-12394
(=>
    (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 13706-13714
(=>
    (visualAcuity ?H1 ?I1 ?I2)
    (exists (?H2)
        (and
            (not
                (attribute ?H2
                    (ImpairedBodyPartFn Eye)))
            (visualAcuity ?H2 ?I2 ?I2))))		 Medicine.kif 1711-1717