Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| diseaseMortality |
| appearance as argument number 1 |
|
| (instance diseaseMortality BinaryPredicate) | WMD.kif 879-879 | disease mortality is an instance of binary predicate |
| (domain diseaseMortality 1 DiseaseOrSyndrome) | WMD.kif 880-880 | The number 1 argument of disease mortality is an instance of disease or syndrome |
| (domain diseaseMortality 2 RealNumber) | WMD.kif 881-881 | The number 2 argument of disease mortality is an instance of real number |
| (documentation diseaseMortality EnglishLanguage "(diseaseMortality ?DISEASE ?NUMBER) means that DiseaseOrSyndrome ?DISEASE has a Mortality rate of ?NUMBER.") | WMD.kif 882-883 | The number 2 argument of disease mortality is an instance of real number |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage diseaseMortality "%2 is %n a disease mortality of %1") | domainEnglishFormat.kif 770-770 | |
| (format ChineseTraditionalLanguage diseaseMortality "%2 %n 是 %1 的 disease 死亡") | domainEnglishFormat.kif 771-771 | |
| (format ChineseLanguage diseaseMortality "%2 %n 是 %1 的 disease 死亡") | domainEnglishFormat.kif 772-772 | |
| (termFormat EnglishLanguage diseaseMortality "disease mortality") | domainEnglishFormat.kif 19812-19812 | |
| (termFormat ChineseTraditionalLanguage diseaseMortality "疾病死亡率") | domainEnglishFormat.kif 19813-19813 | |
| (termFormat ChineseLanguage diseaseMortality "疾病死亡率") | domainEnglishFormat.kif 19814-19814 |
| antecedent |
|
|
| (=> (diseaseMortality ?DISEASE ?RATE) (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (conditionalProbability (attribute ?ORGANISM ?DISEASE) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?ORGANISM))) ?RATE)))) |
WMD.kif 885-895 | If X is a disease mortality of Y, then there exists Z such that Z is an instance of organism, probability of Y is an attribute of Z provided that there exists W such that W is an instance of death, and Z experiences W holds is X |
| (=> (diseaseMortality ?DISEASE ?RATE) (and (greaterThan ?RATE 0.0) (lessThan ?RATE 1.0))) |
WMD.kif 897-901 | If X is a disease mortality of Y, then X is greater than 0.0 and X is less than 1.0 |
| (=> (diseaseMortality ?DISEASE ?RATE) (instance ?DISEASE LifeThreateningDisease)) |
WMD.kif 903-905 | If X is a disease mortality of Y, then Y is an instance of life threatening disease |
| appearance as argument number 0 |
|
|
|