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

KB Term:  Term intersection
English Word: 

Sigma KEE - Covering
Covering

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


(subclass Covering Putting) Merge.kif 11690-11690
(documentation Covering EnglishLanguage "The Class of Putting processes where the agent covers the patient, either completely or only partially, with something else.") Merge.kif 11692-11694

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


(disjoint Uncovering Covering) Merge.kif 11670-11670
(subclass Painting Covering) Mid-level-ontology.kif 3789-3789
(subclass TopicalApplication Covering) Mid-level-ontology.kif 14058-14058
(termFormat EnglishLanguage Covering "covering") english_format.kif 1467-1467

appearance as argument number 3
-------------------------


(biochemicalAgentAntidote Lewisite Dimercaprol Covering) WMD.kif 502-502

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


(=>
    (and
        (instance ?C Covering)
        (patient ?C ?P)
        (instrument ?C ?I))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?C))
        (covers ?I ?P)))		 Merge.kif 16234-16242

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


(=>
    (instance ?P Wallpaper)
    (hasPurpose ?P
        (exists (?W ?R ?C)
            (and
                (instance ?W Wall)
                (part ?W ?R)
                (instance ?R Room)
                (instance ?C Covering)
                (patient ?C ?W)
                (instrument ?C ?P)))))		 Mid-level-ontology.kif 3738-3748
(=>
    (and
        (instance ?F Folding)
        (patient ?F ?O))
    (exists (?C ?P1 ?P2)
        (and
            (instance ?C Covering)
            (subProcess ?C ?F)
            (part ?P1 ?O)
            (part ?P2 ?O)
            (instrument ?C ?P1)
            (patient ?C ?P2))))		 Mid-level-ontology.kif 3776-3787
(=>
    (instance ?PD PaintingDevice)
    (hasPurpose ?PD
        (exists (?STUFF ?COVER ?SURF ?OBJ)
            (and
                (instance ?STUFF Substance)
                (instance ?COVER Covering)
                (instance ?OBJ Object)
                (surface ?SURF ?OBJ)
                (agent ?COVER ?PD)
                (instrument ?COVER ?STUFF)
                (patient ?COVER ?SURF)))))		 Mid-level-ontology.kif 3874-3885
(=>
    (instance ?L Lid)
    (hasPurpose ?L
        (exists (?COVER)
            (and
                (instance ?COVER Covering)
                (instrument ?COVER ?L)))))		 Mid-level-ontology.kif 4657-4663
(=>
    (instance ?X BedLinen)
    (hasPurpose ?X
        (exists (?COVER ?BED)
            (and
                (instance ?COVER Covering)
                (patient ?COVER ?BED)
                (instance ?BED Bed)
                (instrument ?COVER ?X)))))		 Mid-level-ontology.kif 4777-4785
(=>
    (instance ?R Rug)
    (hasPurpose ?R
        (exists (?C ?F)
            (and
                (instance ?C Covering)
                (instrument ?C ?R)
                (patient ?C ?F)
                (instance ?F Floor)))))		 Mid-level-ontology.kif 6468-6476
(=>
    (instance ?B Bandage)
    (hasPurpose ?B
        (exists (?TP ?C)
            (and
                (instance ?TP TherapeuticProcess)
                (instance ?C Covering)
                (subProcess ?C ?TP)
                (instrument ?C ?B)))))		 Mid-level-ontology.kif 6809-6817
(=>
    (instance ?E Eyelid)
    (capability Covering instrument ?E))		 Mid-level-ontology.kif 13658-13660
(=>
    (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
(=>
    (instance ?WC WindowCovering)
    (hasPurpose ?WC
        (exists (?C ?W)
            (and
                (instance ?C Covering)
                (patient ?C ?W)
                (instance ?W Window)
                (instrument ?C ?WC)))))		 Mid-level-ontology.kif 16792-16800
(=>
    (instance ?B Burying)
    (exists (?C ?S)
        (and
            (instance ?C Covering)
            (instrument ?C ?S)
            (instance ?S Soil)
            (subProcess ?C ?B))))		 Mid-level-ontology.kif 19932-19939
(=>
    (and
        (instance ?O ClosingEye)
        (patient ?O ?E)
        (instance ?E Eye))
    (exists (?M ?U ?C ?CC)
        (and
            (instance ?M MuscularContraction)
            (patient ?M ?U)
            (instance ?U UpperEyelid)
            (part ?U ?E)
            (during
                (WhenFn ?M)
                (WhenFn ?O))
            (causes ?M ?C)
            (instance ?C Covering)
            (patient ?C ?CC)
            (instance ?CC Cornea)
            (part ?CC ?E)
            (subProcess ?C ?O))))		 Mid-level-ontology.kif 22165-22182
(=>
    (subclass ?C
        (CoveringFn ?B))
    (hasPurpose ?C
        (exists (?P ?BI ?CI)
            (and
                (instance ?P Covering)
                (instance ?BI ?B)
                (instance ?CI ?C)
                (destination ?P ?BI)
                (patient ?P ?CI)))))		 Mid-level-ontology.kif 32337-32346
(=>
    (instance ?PE ProtectiveEyewear)
    (hasPurpose ?PE
        (exists (?PERSON ?FACE ?EYE ?COVER)
            (and
                (instance ?PERSON Animal)
                (instance ?FACE Face)
                (instance ?EYE Eye)
                (properPart ?EYE ?FACE)
                (properPart ?FACE ?PERSON)
                (wears ?PERSON ?PE)
                (instance ?COVER Covering)
                (agent ?COVER ?PE)
                (patient ?COVER ?FACE)))))		 Cars.kif 3375-3388
(=>
    (diseaseMedicine ?DISEASE TopicalAntibiotic ?PROCESS)
    (subclass ?PROCESS Covering))		 WMD.kif 1311-1313


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