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 11262-11264 | |
(subclass Covering Putting) | Merge.kif 11260-11260 |
appearance as argument number 2 |
![]() |
(disjoint Uncovering Covering) | Merge.kif 11240-11240 | |
(subclass Painting Covering) | Mid-level-ontology.kif 3143-3143 | |
(subclass TopicalApplication Covering) | Mid-level-ontology.kif 11979-11979 | |
(termFormat ChineseLanguage Covering "遮盖") | chinese_format.kif 1123-1123 | |
(termFormat EnglishLanguage Covering "covering") | english_format.kif 1463-1463 |
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 29262-29269 |
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 3130-3141 | |
(=> (diseaseTreatment ?DISEASE TopicalAntibiotic ?PROCESS) (subclass ?PROCESS Covering)) |
WMD.kif 1306-1308 | |
(=> (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 5397-5405 | |
(=> (instance ?B Burying) (exists (?C ?S) (and (instance ?C Covering) (instrument ?C ?S) (instance ?S Soil) (subProcess ?C ?B)))) |
Mid-level-ontology.kif 17469-17476 | |
(=> (instance ?E Eyelid) (capability Covering instrument ?E)) |
Mid-level-ontology.kif 11694-11696 | |
(=> (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 11698-11711 | |
(=> (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 3092-3102 | |
(=> (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 3223-3234 | |
(=> (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 3513-3526 | |
(=> (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 5064-5072 | |
(=> (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 14736-14744 | |
(=> (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 4038-4046 | |
(=> (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 29234-29243 |
![]() |
![]() |