Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Covering

Sigma KEE - Covering
Covering(covering)afloat, airbrush, aluminise, aluminize, apply, asphalt, awash, babbitt, backed, bald, bandage, bandaged, bank, bare, bark, beaded, beady, becloud, bedaub, beeswax, befog, besmear, bestrew, bind, blacklead, blacktop, blanket, blindfold, blinker, block_out, bloodstained, board_up, bonderise, bonderize, bosom, bound, bread, brush, brush_on, bury, butter, cake, calcimine, camouflaged, candy, canopy, canvas, capsulate, capsule, capsulise...

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


(documentation Covering ChineseLanguage "这是 Putting 过程的 Class,过程中 agent 以另外 一些东西完全或部分遮盖 patient。") chinese_format.kif 3037-3038
(documentation Covering EnglishLanguage "The Class of Putting processes where the agent covers the patient, either completely or only partially, with something else.") Merge.kif 11336-11338
(subclass Covering Putting) Merge.kif 11334-11334 Covering is a subclass of putting

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


(disjoint Uncovering Covering) Merge.kif 11314-11314 Uncovering is disjoint from covering
(subclass Painting Covering) Mid-level-ontology.kif 3147-3147 Painting is a subclass of covering
(subclass TopicalApplication Covering) Mid-level-ontology.kif 12291-12291 Topical application is a subclass of covering
(termFormat ChineseLanguage Covering "遮盖") chinese_format.kif 1123-1123
(termFormat EnglishLanguage Covering "covering") english_format.kif 1463-1463

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


(biochemicalAgentAntidote Lewisite Dimercaprol Covering) WMD.kif 507-507 Lewisite biochemical agent antidote dimercaprol for covering

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


(=>
    (and
        (instance ?C Covering)
        (patient ?C ?P)
        (instrument ?C ?I))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?C))
        (covers ?I ?P)))
Mid-level-ontology.kif 29674-29681

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


(=>
    (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 3134-3145
(=>
    (diseaseTreatment ?DISEASE TopicalAntibiotic ?PROCESS)
    (subclass ?PROCESS Covering))
WMD.kif 1315-1317
(=>
    (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 5650-5658
(=>
    (instance ?B Burying)
    (exists (?C ?S)
        (and
            (instance ?C Covering)
            (instrument ?C ?S)
            (instance ?S Soil)
            (subProcess ?C ?B))))
Mid-level-ontology.kif 17818-17825
(=>
    (instance ?E Eyelid)
    (capability Covering instrument ?E))
Mid-level-ontology.kif 12006-12008
(=>
    (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 12010-12023
(=>
    (instance ?L Lid)
    (hasPurpose ?L
        (exists (?COVER)
            (and
                (instance ?COVER Covering)
                (instrument ?COVER ?L)))))
Mid-level-ontology.kif 3971-3977
(=>
    (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 3096-3106
(=>
    (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 3227-3238
(=>
    (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 3511-3524
(=>
    (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 5309-5317
(=>
    (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 15064-15072
(=>
    (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 4091-4099
(=>
    (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 29646-29655


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 is open source software produced by Articulate Software and its partners