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


KB Term:  Term intersection
English Word: 

  Uncovering

 Sigma KEE - Uncovering
Uncovering(uncovering)bare, bring_out, develop, disclose, excavate, expose, face, flash, reveal, unclothe, uncover, undo, undrape, undraped, unearth, unfold, unsheathe, unveil, unveiled, unwrap

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


(subclass Uncovering Removing) Merge.kif 11669-11669 Uncovering is a subclass of removing
(disjoint Uncovering Covering) Merge.kif 11670-11670 Uncovering is disjoint from covering
(documentation Uncovering EnglishLanguage "The Class of Removing processes where the agent uncovers the patient, either completely or only partially.") Merge.kif 11672-11673 Uncovering is disjoint from covering

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


(subclass RemovingClothing Uncovering) Mid-level-ontology.kif 6652-6652 Removing clothing is a subclass of uncovering
(termFormat EnglishLanguage Uncovering "uncovering") english_format.kif 1463-1463 Removing clothing is a subclass of uncovering

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


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


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