(=>
(diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS)
(exists (?ORGANISM ?TIME ?SAMPLE ?PROC)
(and
(holdsDuring ?TIME
(attribute ?ORGANISM ?DISEASE))
(increasesLikelihood
(and
(instance ?PROC ?PROCESS)
(temporalPart
(WhenFn ?PROC) ?TIME)
(experiencer ?PROC ?ORGANISM)
(patient ?PROC ?SAMPLE)
(instance ?SAMPLE ?SUBSTANCE))
(holdsDuring
(ImmediateFutureFn ?TIME)
(not
(attribute ?ORGANISM ?DISEASE))))))) |
WMD.kif 936-951 |
If X is disease treatment Y for Z, then All of the following hold: (1) there exist W, V,, , U (2) T such that X is an attribute of W holds during V (3) T is an instance of Z (4) the time of existence of T is a part of V (5) W experiences T (6) U is a patient of T (7) U is an instance of Y increases likelihood of X is not an attribute of W holds during immediately after V |
(=>
(and
(diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS)
(subclass ?SUB ?PROCESS))
(diseaseMedicine ?DISEASE ?SUBSTANCE ?SUB)) |
WMD.kif 953-957 |
If X is disease treatment Y for Z and W is a subclass of Z, then X is disease treatment Y for W |
(=>
(and
(diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS)
(subclass ?SUB ?SUBSTANCE))
(diseaseMedicine ?DISEASE ?SUB ?PROCESS)) |
WMD.kif 959-963 |
If X is disease treatment Y for Z and W is a subclass of Y, then X is disease treatment W for Z |
(=>
(diseaseMedicine ?DISEASE Antibiotic ?PROCESS)
(instance ?DISEASE BacterialDisease)) |
WMD.kif 1270-1272 |
If X is disease treatment antibiotic for Y, then X is an instance of bacterial disease |
(=>
(diseaseMedicine ?DISEASE OralAntibiotic ?PROCESS)
(subclass ?PROCESS Ingesting)) |
WMD.kif 1284-1286 |
If X is disease treatment oral antibiotic for Y, then Y is a subclass of ingesting |
(=>
(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 |
(=>
(diseaseMedicine ?DISEASE Bacitracin ?PROCESS)
(and
(instance ?DISEASE BacterialDisease)
(subclass ?PROCESS Putting))) |
WMD.kif 1318-1322 |
If X is disease treatment bacitracin for Y, then X is an instance of bacterial disease and Y is a subclass of putting |
