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


KB Term:  Term intersection
English Word: 

  Eyeball

 Sigma KEE - Eyeball
Eyeball(eye ball)

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


(subclass Eyeball BodyPart) Mid-level-ontology.kif 13709-13709 Eye ball is a subclass of body part
(documentation Eyeball EnglishLanguage "The round part of the eye of a vertebrate, within the eyelids and Eyesocket. In mammals it is typically a firm, mobile, spherical structure enclosed by the sclera and the cornea.[Oxford Dictionary]") Mid-level-ontology.kif 13710-13712 Eye ball is a subclass of body part
(initialPart Eyeball Eye) Mid-level-ontology.kif 13714-13714 Every eye ball is initially part of a eye

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


(subclass EyePupil Eyeball) Mid-level-ontology.kif 13629-13629 Eye pupil is a subclass of eye ball
(initialPart Cornea Eyeball) Mid-level-ontology.kif 13643-13643 Every cornea is initially part of a eye ball
(termFormat EnglishLanguage Eyeball "eye ball") Mid-level-ontology.kif 13713-13713 Every cornea is initially part of a eye ball
(initialPart Sclera Eyeball) Mid-level-ontology.kif 13742-13742 Every sclera is initially part of a eye ball

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


(=>
    (instance ?B Eyeball)
    (exists (?S ?L1 ?L2)
        (and
            (instance ?S Eyesocket)
            (properlyFills ?B ?S)
            (instance ?L1 UpperEyelid)
            (instance ?L2 LowerEyelid)
            (covers ?L1 ?B))))		 Mid-level-ontology.kif 13716-13724 If X is an instance of eye ball, then there exist Y, Z, W such that Y is an instance of eye socket, X properly fills Y, Z is an instance of upper eye lid, W is an instance of lower eye lid, and Z covers X
(=>
    (and
        (instance ?R Region)
        (equal ?R
            (OuterBoundaryFn ?B))
        (instance ?B Eyeball))
    (exists (?C ?S)
        (and
            (part ?C ?R)
            (instance ?C Cornea)
            (part ?S ?R)
            (instance ?S Sclera)
            (meetsSpatially ?C ?S)
            (equal ?C
                (FrontFn ?B)))))		 Mid-level-ontology.kif 13744-13758 If X is an instance of region, equal X and the outer boundary of Y, and Y is an instance of eye ball, then All of the following hold: (1) there exist Z (2) W such that Z is a part of X (3) Z is an instance of cornea (4) W is a part of X (5) W is an instance of sclera (6) Z meets W (7) equal Z (8) the front of Y
(=>
    (and
        (instance ?I Inflammation)
        (patient ?I ?E)
        (instance ?E Eyeball)
        (part ?E ?H)
        (instance ?H Human))
    (modalAttribute
        (and
            (during
                (WhenFn ?I)
                (ImmediateFutureFn
                    (WhenFn ?I)))
            (attribute ?H MechanicalAnisocoria)) Possibility))		 emotion.kif 1071-1084 If X is an instance of inflammation, Y is a patient of X, Y is an instance of eye ball, Y is a part of Z, and Z is an instance of human, then the statement the time of existence of X takes place during immediately after the time of existence of X and mechanical anisocoria is an attribute of Z has the modal force of possibility
(=>
    (and
        (instance ?S Surgery)
        (patient ?S ?E)
        (instance ?E Eyeball)
        (part ?E ?H)
        (instance ?H Human))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?S))
            (attribute ?H MechanicalAnisocoria)) Possibility))		 emotion.kif 1086-1097 If X is an instance of surgery, Y is a patient of X, Y is an instance of eye ball, Y is a part of Z, and Z is an instance of human, then the statement mechanical anisocoria is an attribute of Z holds during immediately after the time of existence of X has the modal force of possibility

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


(=>
    (instance ?P EyePupil)
    (exists (?I)
        (and
            (instance ?I Eyeball)
            (equal ?I
                (HoleHostFn ?P)))))		 Mid-level-ontology.kif 13634-13640 If X is an instance of eye pupil, then there exists Y such that Y is an instance of eye ball, equal Y, and the host of the hole X
(=>
    (instance ?I EyeIris)
    (exists (?E)
        (and
            (instance ?E Eyeball)
            (part ?I ?E))))		 Mid-level-ontology.kif 13764-13769 If X is an instance of eye iris, then there exists Y such that Y is an instance of eye ball and X is a part of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners