| 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 11584-11584 | 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 11586-11588 | Covering is a subclass of putting |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (biochemicalAgentAntidote Lewisite Dimercaprol Covering) | WMD.kif 507-507 | 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 16089-16096 | 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 ?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 |
| (=> (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 3591-3601 | 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 3629-3640 | 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 3722-3733 | 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 4471-4477 | 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 4591-4599 | 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 6305-6313 | 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 6646-6654 | 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 13525-13527 | 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 13529-13542 | 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 16719-16727 | 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 19885-19892 | 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 22167-22184 | 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 32395-32404 | 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 |
| (=> (diseaseMedicine ?DISEASE TopicalAntibiotic ?PROCESS) (subclass ?PROCESS Covering)) |
WMD.kif 1315-1317 | If X is disease treatment topical antibiotic for Y, then Y is a subclass of covering |
|
|
|