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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Covering
Covering(覆い)

VerbNet: put-9.1|apply, butter-9.9|asphalt, fill-9.8|bind, weather-57|fog, weather-57|fog, fill-9.8|bestrew, fill-9.8|bind, fill-9.8|blacktop, fill-9.8|blanket, butter-9.9|blindfold, butter-9.9|bread, spray-9.7|brush, put-9.1|bury, butter-9.9|butter, fill-9.8|coat, butter-9.9|glaze, butter-9.9|carpet, pocket-9.10|case, butter-9.9|chrome, butter-9.9|chrome, contiguous_location-47.8|enclose, weather-57|fog, fill-9.8|coat, butter-9.9|crown, butter-9.9|crumb, spray-9.7|daub, disappearance-48.2|vanish, spray-9.7|dust, put-9.1|bury, coloring-24|enamel, pocket-9.10|case, contiguous_location-47.8|enclose, fill-9.8|encrust, spray-9.7|wrap, contiguous_location-47.8|enshroud, spray-9.7|wrap, spray-9.7|wrap, fill-9.8|face, butter-9.9|feather, butter-9.9|flour, weather-57|fog, butter-9.9|glaze, disappearance-48.2|vanish, butter-9.9|grass, butter-9.9|gravel, butter-9.9|grease, weather-57|fog, contiguous_location-47.8|enshroud, put-9.1|bury, pocket-9.10|case, ...


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


(documentation Covering ChineseLanguage "这是 Putting 过程的 Class,过程中 agent 以另外 一些东西完全或部分遮盖 patient。") Merge.kif 15552-15553
(documentation Covering EnglishLanguage "The Class of Putting processes where the agent covers the patient, either completely or only partially, with something else.") Merge.kif 15548-15550
(documentation Covering JapaneseLanguage "PuttingClass は、agentpatient を 完全にまたは部分的にカバーする処理を行う。") Merge.kif 15555-15556
(subclass Covering Putting) Merge.kif 15546-15546 覆い置くsubclass では %n

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


(disjoint Uncovering Covering) Merge.kif 15514-15514 除覆覆いdisjoint では %n
(subclass Painting Covering) Mid-level-ontology.kif 3722-3722 Painting覆いsubclass では %n
(termFormat ChineseLanguage Covering "遮盖") chinese_format.kif 1123-1123 termFormat ChineseLanguage, 覆い and "遮盖"
(termFormat EnglishLanguage Covering "covering") english_format.kif 2078-2078 termFormat EnglishLanguage, 覆い and "covering"
(termFormat JapaneseLanguage Covering "覆い") english_format.kif 2079-2079 termFormat JapaneseLanguage, 覆い and "覆い"

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


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

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


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

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 3709-3720
(=>
    (diseaseTreatment ?DISEASE TopicalAntibiotic ?PROCESS)
    (subclass ?PROCESS Covering))
WMD.kif 1216-1218
(=>
    (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 5930-5938
(=>
    (instance ?B Burying)
    (exists (?C ?S)
        (and
            (instance ?C Covering)
            (instrument ?C ?S)
            (instance ?S Soil)
            (subProcess ?C ?B))))
Mid-level-ontology.kif 15702-15709
(=>
    (instance ?E Eyelid)
    (capability Covering instrument ?E))
Mid-level-ontology.kif 10084-10086
(=>
    (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 10088-10101
(=>
    (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 3672-3682
(=>
    (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 3801-3812
(=>
    (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 3480-3493
(=>
    (instance ?R Rug)
    (hasPurpose ?R
        (exists (?C)
            (and
                (instance ?C Covering)
                (instrument ?C ?R)
                (patient ?C ?F)
                (instance ?F Floor)))))
Mid-level-ontology.kif 5595-5603
(=>
    (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 12906-12914
(=>
    (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 4606-4614
(=>
    (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 27908-27917


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners