Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Opium
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Covering Putting) | Merge.kif 11690-11690 | 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 11692-11694 | 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 16234-16242 | 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 3738-3748 | 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 3776-3787 | 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 3874-3885 | 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 4657-4663 | 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 4777-4785 | 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 6468-6476 | 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 6809-6817 | 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 13658-13660 | 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 13662-13675 | 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 16792-16800 | 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 19932-19939 | 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 22165-22182 | 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 32337-32346 | 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 3375-3388 | 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 1311-1313 | If X is disease treatment topical antibiotic for Y, then Y is a subclass of covering |
|