Eyesocket - Sigma Knowledge base Browser

appearance as argument number 1

(initialPart Eyesocket Eye)	Mid-level-ontology.kif 13695-13695	Every eye socket is initially part of a eye
(subclass Eyesocket HoleRegion)	Mid-level-ontology.kif 13696-13696	Eye socket is a subclass of hole
(documentation Eyesocket EnglishLanguage "The HoleRegion in the Skull which encloses an eyeball with its surronding muscles.")	Mid-level-ontology.kif 13697-13698	Eye socket is a subclass of hole

appearance as argument number 2

(termFormat EnglishLanguage Eyesocket "eye socket")

antecedent

(=>
    (instance ?E Eyesocket)
    (exists (?S)
        (and
            (instance ?S Skull)
            (equal ?S
                (HoleHostFn ?E)))))

If X is an instance of eye socket, then there exists Y such that Y is an instance of skull, equal Y, and the host of the hole X

consequent

(=>
    (instance ?B Eyeball)
    (exists (?S ?L1 ?L2)
        (and
            (instance ?S Eyesocket)
            (properlyFills ?B ?S)
            (instance ?L1 UpperEyelid)
            (instance ?L2 LowerEyelid)
            (covers ?L1 ?B))))

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