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

Formal Language: 


KB Term:  Term intersection
English Word: 

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

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


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

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


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

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