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

KB Term:  Term intersection
English Word: 

Sigma KEE - Eyelid
Eyelid(eyelid)
eyelid, lid, palpebra

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


(subclass Eyelid BodyPart) Mid-level-ontology.kif 13653-13653 Eyelid is a subclass of body part
(documentation Eyelid EnglishLanguage "Folds of Skin that can be manipulated to cover or uncover Eyes.") Mid-level-ontology.kif 13655-13656 Eyelid is a subclass of body part
(externalImage Eyelid "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 8d/ Eyelashes.jpg/ 250px_Eyelashes.jpg") pictureList.kif 1107-1107 Eyelid is a subclass of body part

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


(subclass UpperEyelid Eyelid) Mid-level-ontology.kif 13677-13677 Upper eye lid is a subclass of eyelid
(subclass LowerEyelid Eyelid) Mid-level-ontology.kif 13691-13691 Lower eye lid is a subclass of eyelid
(termFormat EnglishLanguage Eyelid "eyelid") domainEnglishFormat.kif 23044-23044 Lower eye lid is a subclass of eyelid
(termFormat ChineseTraditionalLanguage Eyelid "眼皮") domainEnglishFormat.kif 23045-23045 Lower eye lid is a subclass of eyelid
(termFormat ChineseLanguage Eyelid "眼皮") domainEnglishFormat.kif 23046-23046 Lower eye lid is a subclass of eyelid

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


(=>
    (instance ?E Eyelid)
    (capability Covering instrument ?E))		 Mid-level-ontology.kif 13658-13660 If X is an instance of eyelid, then X is capable of doing covering as a instrument
(=>
    (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

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


(=>
    (and
        (instance ?OEW OpeningEyesWidely)
        (agent ?OEW ?A))
    (exists (?EL)
        (and
            (instance ?EL Eyelid)
            (part ?EL ?A)
            (patient ?OEW ?EL))))		 emotion.kif 2503-2511 If X is an instance of opening eyes widely and Y is an agent of X, then there exists Z such that Z is an instance of eyelid, Z is a part of Y, and Z is a patient of X


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners