| Covering(covering) | | afloat, airbrush, aluminise, aluminize, apply, asphalt, awash, babbitt, backed, bald, bandage, bandaged, bank, bare, bark, beaded, beady, becloud, bedaub, beeswax, befog, besmear, bestrew, bind, blacklead, blacktop, blanket, blindfold, blinker, block_out, bloodstained, board_up, bonderise, bonderize, bosom, bound, bread, brush, brush_on, bury, butter, cake, calcimine, camouflaged, candy, canopy, canvas, capsulate, capsule, capsulise... |
| appearance as argument number 1 |
|
|
| (subclass Covering Putting) | Merge.kif 11580-11580 | Covering is a subclass of putting |
| (documentation Covering EnglishLanguage "The Class of Putting processes where the agent covers the patient, either completely or only partially, with something else.") | Merge.kif 11582-11584 | Covering is a subclass of putting |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (biochemicalAgentAntidote Lewisite Dimercaprol Covering) | WMD.kif 502-502 | Lewisite biochemical agent antidote dimercaprol for covering |
| antecedent |
|
|
| (=> (and (instance ?C Covering) (patient ?C ?P) (instrument ?C ?I)) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (covers ?I ?P))) |
Merge.kif 16101-16108 | If X is an instance of covering, Y is a patient of X, and Z is an instrument for X, then Z covers Y holds during immediately after the time of existence of X |
| consequent |
|
|
| (=> (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 3605-3615 | If X is an instance of wallpaper, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of wall (3) Y is a part of Z (4) Z is an instance of room (5) W is an instance of covering (6) Y is a patient of W (7) X is an instrument for W |
| (=> (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 3643-3654 | If X is an instance of folding and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of covering (3) Z is a subprocess of X (4) W is a part of Y (5) V is a part of Y (6) W is an instrument for Z (7) V is a patient of Z |
| (=> (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 3736-3747 | If X is an instance of painting device, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of substance (3) Z is an instance of covering (4) V is an instance of object (5) W is a surface of V (6) X is an agent of Z (7) Y is an instrument for Z (8) W is a patient of Z |
| (=> (instance ?L Lid) (hasPurpose ?L (exists (?COVER) (and (instance ?COVER Covering) (instrument ?COVER ?L))))) |
Mid-level-ontology.kif 4485-4491 | If X is an instance of lid, then X has the purpose there exists Y such that Y is an instance of covering and X is an instrument for Y |
| (=> (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 4605-4613 | If X is an instance of bed linen, then X has the purpose there exist Y, Z such that Y is an instance of covering, Z is a patient of Y, Z is an instance of bed, and X is an instrument for Y |
| (=> (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 6313-6321 | If X is an instance of rug, then X has the purpose there exist Y, Z such that Y is an instance of covering, X is an instrument for Y, Z is a patient of Y, and Z is an instance of floor |
| (=> (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 6654-6662 | If X is an instance of bandage, then X has the purpose there exist Y, Z such that Y is an instance of therapeutic process, Z is an instance of covering, Z is a subprocess of Y, and X is an instrument for Z |
| (=> (instance ?E Eyelid) (capability Covering instrument ?E)) |
Mid-level-ontology.kif 13580-13582 | If X is an instance of eyelid, then X is capable of doing covering as a instrument |
| (=> (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 13584-13597 | If X is an instance of eyelid, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of covering (3) W is an instance of body motion (4) Z is an instance of human (5) Z experiences W (6) X is an instrument for W (7) Y is a patient of W (8) Y is an instance of eye (9) Y is a part of Z (10) X is a part of Z |
| (=> (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 16768-16776 | If X is an instance of window covering, then X has the purpose there exist Y, Z such that Y is an instance of covering, Z is a patient of Y, Z is an instance of window, and X is an instrument for Y |
| (=> (instance ?B Burying) (exists (?C ?S) (and (instance ?C Covering) (instrument ?C ?S) (instance ?S Soil) (subProcess ?C ?B)))) |
Mid-level-ontology.kif 19903-19910 | If X is an instance of burying, then there exist Y, Z such that Y is an instance of covering, Z is an instrument for Y, Z is an instance of soil, and Y is a subprocess of X |
| (=> (and (instance ?O ClosingEye) (patient ?O ?E) (instance ?E Eye)) (exists (?M ?U ?C ?CC) (and (instance ?M MuscularContraction) (patient ?M ?U) (instance ?U UpperEyelid) (part ?U ?E) (during (WhenFn ?M) (WhenFn ?O)) (causes ?M ?C) (instance ?C Covering) (patient ?C ?CC) (instance ?CC Cornea) (part ?CC ?E) (subProcess ?C ?O)))) |
Mid-level-ontology.kif 22184-22201 | If X is an instance of closing eye, Y is a patient of X, and Y is an instance of eye, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of muscular contraction (3) W is a patient of Z (4) W is an instance of upper eye lid (5) W is a part of Y (6) the time of existence of Z takes place during the time of existence of X (7) Z causes V (8) V is an instance of covering (9) U is a patient of V (10) U is an instance of cornea (11) U is a part of Y (12) V is a subprocess of X |
| (=> (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 32354-32363 | If X is a subclass of a covering for Y, then X has the purpose there exist Z, W, V such that Z is an instance of covering, W is an instance of Y, V is an instance of X, Z ends up at W, and V is a patient of Z |
| (=> (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 3589-3602 | If X is an instance of protective eyewear, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of animal (3) Z is an instance of face (4) W is an instance of eye (5) W is a proper part of Z (6) Z is a proper part of Y (7) Y wears X (8) V is an instance of covering (9) X is an agent of V (10) Z is a patient of V |
| (=> (diseaseMedicine ?DISEASE TopicalAntibiotic ?PROCESS) (subclass ?PROCESS Covering)) |
WMD.kif 1310-1312 | If X is disease treatment topical antibiotic for Y, then Y is a subclass of covering |
|
|
|