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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Covering
Covering(couvrir)

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 11566-11568
(documentation Covering JapaneseLanguage "PuttingClass は、agentpatient を 完全にまたは部分的にカバーする処理を行う。") japanese_format.kif 1805-1806
(subclass Covering Putting) Merge.kif 11564-11564 Couvrir est une sous-classe de mettre

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


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

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


(biochemicalAgentAntidote Lewisite Dimercaprol Covering) WMD.kif 507-507 biochemicalAgentAntidote Lewisite, Dimercaprol and couvrir

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


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

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 3612-3623
(=>
    (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 6627-6635
(=>
    (instance ?B Burying)
    (exists (?C ?S)
        (and
            (instance ?C Covering)
            (instrument ?C ?S)
            (instance ?S Soil)
            (subProcess ?C ?B))))
Mid-level-ontology.kif 19569-19576
(=>
    (instance ?E Eyelid)
    (capability Covering instrument ?E))
Mid-level-ontology.kif 13490-13492
(=>
    (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 13494-13507
(=>
    (instance ?L Lid)
    (hasPurpose ?L
        (exists (?COVER)
            (and
                (instance ?COVER Covering)
                (instrument ?COVER ?L)))))
Mid-level-ontology.kif 4454-4460
(=>
    (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 3574-3584
(=>
    (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 3705-3716
(=>
    (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 3572-3585
(=>
    (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 6286-6294
(=>
    (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 16590-16598
(=>
    (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 4574-4582
(=>
    (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 31649-31658


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