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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Covering

Sigma KEE - Covering
Covering

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 11416-11418
(documentation Covering JapaneseLanguage "PuttingClass は、agentpatient を 完全にまたは部分的にカバーする処理を行う。") japanese_format.kif 1805-1806
(subclass Covering Putting) Merge.kif 11414-11414

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


(disjoint Uncovering Covering) Merge.kif 11394-11394
(subclass Painting Covering) Mid-level-ontology.kif 3182-3182
(subclass TopicalApplication Covering) Mid-level-ontology.kif 12443-12443
(termFormat ChineseLanguage Covering "遮盖") chinese_format.kif 1123-1123
(termFormat EnglishLanguage Covering "covering") english_format.kif 1463-1463
(termFormat FrenchLanguage Covering "couvrir") french_format.kif 801-801
(termFormat Hindi Covering "aavarana") terms-hindi.txt 333-333
(termFormat ItalianLanguage Covering "Coprire") terms-it.txt 336-336
(termFormat JapaneseLanguage Covering "覆い") japanese_format.kif 2485-2485
(termFormat PortugueseLanguage Covering "Cobrir") portuguese_format.kif 753-753
(termFormat cb Covering "pagtabon") terms-cb.txt 338-338
(termFormat cz Covering "covering") terms-cz.txt 372-372
(termFormat ro Covering "a acoperi") relations-ro.kif 822-822
(termFormat tg Covering "tinakpan") terms-tg.txt 337-337

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


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

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


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

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 3169-3180
(=>
    (diseaseMedicine ?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 5690-5698
(=>
    (instance ?B Burying)
    (exists (?C ?S)
        (and
            (instance ?C Covering)
            (instrument ?C ?S)
            (instance ?S Soil)
            (subProcess ?C ?B))))
Mid-level-ontology.kif 17998-18005
(=>
    (instance ?E Eyelid)
    (capability Covering instrument ?E))
Mid-level-ontology.kif 12159-12161
(=>
    (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 12163-12176
(=>
    (instance ?L Lid)
    (hasPurpose ?L
        (exists (?COVER)
            (and
                (instance ?COVER Covering)
                (instrument ?COVER ?L)))))
Mid-level-ontology.kif 4011-4017
(=>
    (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 3131-3141
(=>
    (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 3262-3273
(=>
    (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 5349-5357
(=>
    (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 15217-15225
(=>
    (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 4131-4139
(=>
    (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 29730-29739


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