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 11551-11553 | |
(documentation Covering JapaneseLanguage "Putting の Class は、agent が patient を 完全にまたは部分的にカバーする処理を行う。") | japanese_format.kif 1805-1806 | |
(subclass Covering Putting) | Merge.kif 11549-11549 |
appearance as argument number 2 |
![]() |
(disjoint Uncovering Covering) | Merge.kif 11529-11529 | |
(subclass Painting Covering) | Mid-level-ontology.kif 3625-3625 | |
(subclass TopicalApplication Covering) | Mid-level-ontology.kif 13774-13774 | |
(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 de Covering "Bedecken") | terms-de.txt 631-631 | |
(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))) |
Merge.kif 16052-16059 |
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 31651-31660 |
![]() |
![]() |