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


KB Term:  Term intersection
English Word: 

  Eye

 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
-------------------------


(subclass Eye Organ) Mid-level-ontology.kif 13613-13613 Eye is a subclass of organ
(subclass Eye AnimalAnatomicalStructure) Mid-level-ontology.kif 13614-13614 Eye is a subclass of animal anatomical structure
(documentation Eye EnglishLanguage "The Organ of sight.") Mid-level-ontology.kif 13615-13615 Eye is a subclass of animal anatomical structure
(externalImage Eye "http://upload.wikimedia.org/wikipedia/commons/7/71/Menschliches_auge.jpg") pictureList.kif 87-87 Eye is a subclass of animal anatomical structure
(externalImage Eye "http://articulatesoftware.com/SUMOpictures/people/bodypart/ eye/ eye_01.png") pictureList.kif 421-421 Eye is a subclass of animal anatomical structure

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


(initialPart EyeLid Eye) Mid-level-ontology.kif 13654-13654 Every EyeLid is initially part of a eye
(initialPart Eyesocket Eye) Mid-level-ontology.kif 13695-13695 Every eye socket is initially part of a eye
(initialPart Eyeball Eye) Mid-level-ontology.kif 13714-13714 Every eye ball is initially part of a eye
(termFormat EnglishLanguage Eye "eye") domainEnglishFormat.kif 23032-23032 Every eye ball is initially part of a eye
(termFormat ChineseTraditionalLanguage Eye "眼睛") domainEnglishFormat.kif 23033-23033 Every eye ball is initially part of a eye
(termFormat ChineseLanguage Eye "眼睛") domainEnglishFormat.kif 23034-23034 Every eye ball is initially part of a eye

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


(=>
    (instance ?EYE Eye)
    (capability Seeing instrument ?EYE))		 Mid-level-ontology.kif 13617-13619 If X is an instance of eye, then X is capable of doing seeing as a instrument
(=>
    (instance ?EYE Eye)
    (exists (?HEAD)
        (and
            (instance ?HEAD Head)
            (part ?EYE ?HEAD))))		 Mid-level-ontology.kif 13621-13626 If X is an instance of eye, then there exists Y such that Y is an instance of head and X is a part of Y
(=>
    (and
        (instance ?U UpperEyelid)
        (instance ?L LowerEyelid)
        (instance ?E Eye)
        (part ?U ?E)
        (part ?L ?E))
    (orientation ?U ?L Above))		 Mid-level-ontology.kif 13682-13689 If X is an instance of upper eye lid, Y is an instance of lower eye lid, Z is an instance of eye, X is a part of Z, and Y is a part of Z, then X is above to Y
(=>
    (and
        (instance ?O OpeningEye)
        (patient ?O ?E)
        (instance ?E Eye))
    (exists (?T)
        (and
            (holdsDuring ?T
                (attribute ?E Open))
            (during
                (WhenFn ?O) ?T)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?O))
                (attribute ?E Closed)))))		 Mid-level-ontology.kif 22077-22091 If X is an instance of opening eye, Y is a patient of X, and Y is an instance of eye, then there exists Z such that open is an attribute of Y holds during Z, the time of existence of X takes place during Z, and closed is an attribute of Y holds during immediately before the time of existence of X
(=>
    (and
        (instance ?O OpeningEye)
        (patient ?O ?E)
        (instance ?E Eye))
    (exists (?R ?L ?U ?C)
        (and
            (instance ?R MuscleRelaxing)
            (patient ?R ?L)
            (instance ?U UpperEyelid)
            (part ?L ?E)
            (during
                (WhenFn ?R)
                (WhenFn ?O))
            (causes ?R ?U)
            (instance ?U Uncovering)
            (patient ?U ?C)
            (instance ?C Cornea)
            (part ?C ?E)
            (subProcess ?R ?O))))		 Mid-level-ontology.kif 22093-22110 If X is an instance of opening eye, Y is a patient of X, and Y is an instance of eye, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of muscle relaxing (3) W is a patient of Z (4) V is an instance of upper eye lid (5) W is a part of Y (6) the time of existence of Z takes place during the time of existence of X (7) Z causes V (8) V is an instance of uncovering (9) U is a patient of V (10) U is an instance of cornea (11) U is a part of Y (12) Z is a subprocess of X
(=>
    (and
        (instance ?C ClosingEye)
        (patient ?C ?E)
        (instance ?E Eye))
    (exists (?T)
        (and
            (holdsDuring ?T
                (attribute ?E Closed))
            (during
                (WhenFn ?C) ?T)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?C))
                (attribute ?E Open)))))		 Mid-level-ontology.kif 22149-22163 If X is an instance of closing eye, Y is a patient of X, and Y is an instance of eye, then there exists Z such that closed is an attribute of Y holds during Z, the time of existence of X takes place during Z, and open is an attribute of Y holds during immediately before the time of existence of X
(=>
    (and
        (instance ?O ClosingEye)
        (patient ?O ?E)
        (instance ?E Eye))
    (exists (?M ?U ?C ?CC)
        (and
            (instance ?M MuscularContraction)
            (patient ?M ?U)
            (instance ?U UpperEyelid)
            (part ?U ?E)
            (during
                (WhenFn ?M)
                (WhenFn ?O))
            (causes ?M ?C)
            (instance ?C Covering)
            (patient ?C ?CC)
            (instance ?CC Cornea)
            (part ?CC ?E)
            (subProcess ?C ?O))))		 Mid-level-ontology.kif 22165-22182 If X is an instance of closing eye, Y is a patient of X, and Y is an instance of eye, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of muscular contraction (3) W is a patient of Z (4) W is an instance of upper eye lid (5) W is a part of Y (6) the time of existence of Z takes place during the time of existence of X (7) Z causes V (8) V is an instance of covering (9) U is a patient of V (10) U is an instance of cornea (11) U is a part of Y (12) V is a subprocess of X
(=>
    (and
        (instance ?B Winking)
        (patient ?B ?E)
        (or
            (instance ?E
                (BodySideFn Left Eye))
            (instance ?E
                (BodySideFn Right Eye))))
    (exists (?T)
        (and
            (holdsDuring ?T
                (attribute ?E Closed))
            (during
                (WhenFn ?B) ?T)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?B))
                (attribute ?E Open))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?B))
                (attribute ?E Open)))))		 emotion.kif 2017-2039 If X is an instance of winking, Y is a patient of X, and Y is an instance of the left of eye or Y is an instance of the right of eye, then there exists Z such that closed is an attribute of Y holds during Z, the time of existence of X takes place during Z, open is an attribute of Y holds during immediately before the time of existence of X, and open is an attribute of Y holds during immediately after the time of existence of X

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


(=>
    (instance ?R Retina)
    (exists (?E)
        (and
            (instance ?E Eye)
            (part ?R ?E))))		 Mid-level-ontology.kif 12548-12553 If X is an instance of retina, then there exists Y such that Y is an instance of eye and X is a part of Y
(=>
    (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 13662-13675 If X is an instance of eyelid, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of covering (3) W is an instance of body motion (4) Z is an instance of human (5) Z experiences W (6) X is an instrument for W (7) Y is a patient of W (8) Y is an instance of eye (9) Y is a part of Z (10) X is a part of Z
(=>
    (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 13990-13998 If X is an instance of tear, then X has the purpose there exist Y, Z such that Y is an instance of lubricating, the object transferred in Y is X, Z is an instance of eye, and Y ends up at Z
(=>
    (and
        (instance ?E BothEyes)
        (member ?R ?E)
        (member ?L ?E))
    (and
        (instance ?R
            (BodySideFn Right Eye))
        (instance ?L
            (BodySideFn Left Eye))))		 Mid-level-ontology.kif 21919-21928 If X is an instance of both eyes, Y is a member of X, and Z is a member of X, then Y is an instance of the right of eye and Z is an instance of the left of eye
(=>
    (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 1461-1470 If X is an instance of eyebrow, healthy is an attribute of Y, and X is a part of Y, then there exists Z such that Z is an instance of eye, Z is a part of Y, and Z is near to X
(=>
    (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 1491-1503 If X is an instance of eyebrow, healthy is an attribute of Y and standing is an attribute of Y holds during Z, and X is a part of Y, then there exists W such that W is an instance of eye, W is a part of Y, and X is above to W
(=>
    (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 1510-1522 If X is an instance of forehead, healthy is an attribute of Y and standing is an attribute of Y holds during Z, and W is a part of Y, then there exists V such that V is an instance of eye, V is a part of Y, and X is above to V
(=>
    (instance ?PE ProtectiveEyewear)
    (hasPurpose ?PE
        (=>
            (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 3347-3373 If X is an instance of protective eyewear, then X has the purpose Y is an instance of human, Y wears Xthere exist Z, W,, , V,, , U, T such that Z is an instance of process, X is an instrument for Z, V is a subclass of the class described by U, and Z prevents the occurrence of V
(=>
    (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 3375-3388 If X is an instance of protective eyewear, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of animal (3) Z is an instance of face (4) W is an instance of eye (5) W is a proper part of Z (6) Z is a proper part of Y (7) Y wears X (8) V is an instance of covering (9) X is an agent of V (10) Z is a patient of V
(=>
    (visualAcuity ?H1 ?I1 ?I2)
    (exists (?H2)
        (and
            (not
                (attribute ?H2
                    (ImpairedBodyPartFn Eye)))
            (visualAcuity ?H2 ?I2 ?I2))))		 Medicine.kif 1702-1708 If X has Y/Z eyesight, then there exists W such that impaired body part fn eye is not an attribute of W and W has Z/Z eyesight
(=>
    (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 1870-1880 If X is an instance of crying and Y experiences X, then there exist Z, W such that Z is an instance of tear, X originates at W, the object transferred in X is Z, W is an instance of eye, and W is a part of Y