Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| diseaseMedicine |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (format EnglishLanguage diseaseMedicine "%1 %p{is} %n{isn't} disease treatment %2 for %3") | domainEnglishFormat.kif 778-778 | |
| (format ChineseTraditionalLanguage diseaseMedicine "%1 %p{是} %n{不是} 對於 %3 的 disease 治癒 %2 ") | domainEnglishFormat.kif 779-779 | |
| (format ChineseLanguage diseaseMedicine "%1 %p{是} %n{不是} 对于 %3 的 disease 治愈 %2") | domainEnglishFormat.kif 780-780 | |
| (termFormat EnglishLanguage diseaseMedicine "disease treatment") | domainEnglishFormat.kif 19824-19824 | |
| (termFormat ChineseTraditionalLanguage diseaseMedicine "疾病治療") | domainEnglishFormat.kif 19825-19825 | |
| (termFormat ChineseLanguage diseaseMedicine "疾病治疗") | domainEnglishFormat.kif 19826-19826 |
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| appearance as argument number 0 |
|
|
|