|
|
   LifeThreateningDisease
|
|
|
| appearance as argument number 1 |
|
|
| (documentation LifeThreateningDisease EnglishLanguage "A DiseaseOrSyndrome that has been observed to cause the death of Humans.") | WMD.kif 1026-1027 | |
| (subclass LifeThreateningDisease DiseaseOrSyndrome) | WMD.kif 1025-1025 | LifeThreateningDisease è una sottoclasse di MalattiaOSindrome |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?DISEASE LifeThreateningDisease) (attribute ?AGENT ?DISEASE)) (capability Death experiencer ?AGENT)) |
WMD.kif 1029-1033 |
|
| (=> (and (instance ?DISEASE LifeThreateningDisease) (instance ?AGENT ?CLASS) (biochemicalAgentSyndrome ?CLASS ?DISEASE)) (instance ?AGENT LifeThreateningAgent)) |
WMD.kif 1035-1040 |
|
| consequent |
|
|
| (=> (diseaseMortality ?DISEASE ?RATE) (instance ?DISEASE LifeThreateningDisease)) |
WMD.kif 908-910 |
|
|
|