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 11462-11464 | |
(documentation Covering JapaneseLanguage "Putting の Class は、agent が patient を 完全にまたは部分的にカバーする処理を行う。") | japanese_format.kif 1805-1806 | |
(subclass Covering Putting) | Merge.kif 11460-11460 | 遮盖 是 放 的 subclass |
appearance as argument number 2 |
(disjoint Uncovering Covering) | Merge.kif 11440-11440 | 掀开 和 % 2 是 disjoint |
(subclass Painting Covering) | Mid-level-ontology.kif 3175-3175 | 绘画 是 遮盖 的 subclass |
(subclass TopicalApplication Covering) | Mid-level-ontology.kif 12470-12470 | TopicalApplication 是 遮盖 的 subclass |
(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 | 路易氏剂 biochemical 病毒解毒制剂 二巯基丙醇 对于 遮盖 |
antecedent |
(=> (and (instance ?C Covering) (patient ?C ?P) (instrument ?C ?I)) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (covers ?I ?P))) |
Merge.kif 15963-15970 |
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 3162-3173 | |
(=> (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 5684-5692 | |
(=> (instance ?B Burying) (exists (?C ?S) (and (instance ?C Covering) (instrument ?C ?S) (instance ?S Soil) (subProcess ?C ?B)))) |
Mid-level-ontology.kif 18025-18032 | |
(=> (instance ?E Eyelid) (capability Covering instrument ?E)) |
Mid-level-ontology.kif 12186-12188 | |
(=> (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 12190-12203 |
|
(=> (instance ?L Lid) (hasPurpose ?L (exists (?COVER) (and (instance ?COVER Covering) (instrument ?COVER ?L))))) |
Mid-level-ontology.kif 4004-4010 | |
(=> (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 3124-3134 | |
(=> (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 3255-3266 | |
(=> (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 3496-3509 |
|
(=> (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 5343-5351 | |
(=> (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 15244-15252 | |
(=> (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 4124-4132 | |
(=> (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 29781-29790 |