LowerEyelid - Sigma Knowledge base Browser

antecedent

(=>
    (and
        (instance ?U UpperEyelid)
        (instance ?L LowerEyelid)
        (instance ?E Eye)
        (part ?U ?E)
        (part ?L ?E))
    (orientation ?U ?L Above))

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

consequent

(=> (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 ?C ClosingEye) (patient ?C ?E)) (exists (?U ?L ?T) (and (instance ?U UpperEyelid) (instance ?L LowerEyelid) (part ?U ?E) (part ?L ?E) (holdsDuring ?T (meetsSpatially ?U ?L)) (during ?T (WhenFn ?C)))))	Mid-level-ontology.kif 22135-22147	If X is an instance of closing eye and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of upper eye lid (3) W is an instance of lower eye lid (4) Z is a part of Y (5) W is a part of Y (6) Z meets W holds during V (7) V takes place during the time of existence of X

(subclass LowerEyelid Eyelid)	Mid-level-ontology.kif 13691-13691	Lower eye lid is a subclass of eyelid
(documentation LowerEyelid EnglishLanguage "LowerEyelid sits below the UpperEyelid.")	Mid-level-ontology.kif 13692-13692	Lower eye lid is a subclass of eyelid

(disjoint UpperEyelid LowerEyelid)	Mid-level-ontology.kif 13680-13680	Upper eye lid is disjoint from lower eye lid
(termFormat EnglishLanguage LowerEyelid "lower eye lid")	Mid-level-ontology.kif 13693-13693	Upper eye lid is disjoint from lower eye lid