|
|
   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 11370-11372 | |
| (documentation Covering JapaneseLanguage "Putting の Class は、agent が patient を 完全にまたは部分的にカバーする処理を行う。") | japanese_format.kif 1805-1806 | |
| (subclass Covering Putting) | Merge.kif 11368-11368 |
| appearance as argument number 2 |
|
|
| (disjoint Uncovering Covering) | Merge.kif 11348-11348 | |
| (subclass Painting Covering) | Mid-level-ontology.kif 3154-3154 | |
| (subclass TopicalApplication Covering) | Mid-level-ontology.kif 12379-12379 | |
| (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 334-334 | |
| (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 |
| antecedent |
|
|
| (=> (and (instance ?C Covering) (patient ?C ?P) (instrument ?C ?I)) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (covers ?I ?P))) |
Mid-level-ontology.kif 29659-29666 |
| 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 3141-3152 | |
| (=> (diseaseTreatment ?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 5662-5670 | |
| (=> (instance ?B Burying) (exists (?C ?S) (and (instance ?C Covering) (instrument ?C ?S) (instance ?S Soil) (subProcess ?C ?B)))) |
Mid-level-ontology.kif 17910-17917 | |
| (=> (instance ?E Eyelid) (capability Covering instrument ?E)) |
Mid-level-ontology.kif 12094-12096 | |
| (=> (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 12098-12111 | |
| (=> (instance ?L Lid) (hasPurpose ?L (exists (?COVER) (and (instance ?COVER Covering) (instrument ?COVER ?L))))) |
Mid-level-ontology.kif 3983-3989 | |
| (=> (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 3103-3113 | |
| (=> (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 3234-3245 | |
| (=> (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 3511-3524 | |
| (=> (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 5321-5329 | |
| (=> (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 15152-15160 | |
| (=> (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 4103-4111 | |
| (=> (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 29631-29640 |
|
|
|