Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LifeThreateningDisease
LifeThreateningDisease

appearance as argument number 1
-------------------------


(documentation LifeThreateningDisease EnglishLanguage "A DiseaseOrSyndrome that has been observed to cause the death of Humans.") WMD.kif 979-980
(subclass LifeThreateningDisease DiseaseOrSyndrome) WMD.kif 978-978 subclass LifeThreateningDisease and DiseaseOrSyndrome

appearance as argument number 2
-------------------------


(instance Aflatoxicosis LifeThreateningDisease) WMD.kif 1694-1694 instance Aflatoxicosis and LifeThreateningDisease
(instance Botulism LifeThreateningDisease) WMD.kif 333-333 instance Botulism and LifeThreateningDisease
(instance Cholera LifeThreateningDisease) WMD.kif 1384-1384 instance Cholera and LifeThreateningDisease
(instance CrimeanCongoHemorrhagicFever LifeThreateningDisease) WMD.kif 1770-1770 instance CrimeanCongoHemorrhagicFever and LifeThreateningDisease
(instance DengueHemorrhagicFever LifeThreateningDisease) WMD.kif 1512-1512 instance DengueHemorrhagicFever and LifeThreateningDisease
(instance Diphtheria LifeThreateningDisease) WMD.kif 1762-1762 instance Diphtheria and LifeThreateningDisease
(instance EasternEquineEncephalitis LifeThreateningDisease) WMD.kif 1557-1557 instance EasternEquineEncephalitis and LifeThreateningDisease
(instance HepatitisB LifeThreateningDisease) WMD.kif 1660-1660 instance HepatitisB and LifeThreateningDisease
(instance HepatitisC LifeThreateningDisease) WMD.kif 1670-1670 instance HepatitisC and LifeThreateningDisease
(instance HerpesB LifeThreateningDisease) WMD.kif 1409-1409 instance HerpesB and LifeThreateningDisease
(instance InhalationalAnthrax LifeThreateningDisease) WMD.kif 1065-1065 instance InhalationalAnthrax and LifeThreateningDisease
(instance JapaneseEncephalitis LifeThreateningDisease) WMD.kif 1571-1571 instance JapaneseEncephalitis and LifeThreateningDisease
(instance LassaFever LifeThreateningDisease) WMD.kif 1724-1724 instance LassaFever and LifeThreateningDisease
(instance LegionnairesDisease LifeThreateningDisease) WMD.kif 1747-1747 instance LegionnairesDisease and LifeThreateningDisease
(instance Malaria LifeThreateningDisease) WMD.kif 1467-1467 instance Malaria and LifeThreateningDisease
(instance MarburgDisease LifeThreateningDisease) WMD.kif 1601-1601 instance MarburgDisease and LifeThreateningDisease
(instance NecrotizingFaciitis LifeThreateningDisease) WMD.kif 1626-1626 instance NecrotizingFaciitis and LifeThreateningDisease
(instance ParalyticShellfishPoisoning LifeThreateningDisease) WMD.kif 1359-1359 instance ParalyticShellfishPoisoning and LifeThreateningDisease
(instance RockyMountainSpottedFever LifeThreateningDisease) WMD.kif 259-259 instance RockyMountainSpottedFever and LifeThreateningDisease
(instance SaintLouisEncephalitis LifeThreateningDisease) WMD.kif 1541-1541 instance SaintLouisEncephalitis and LifeThreateningDisease
(instance Tuberculosis LifeThreateningDisease) WMD.kif 1591-1591 instance Tuberculosis and LifeThreateningDisease
(termFormat ChineseLanguage LifeThreateningDisease "危及生命的疾病") domainEnglishFormat.kif 34267-34267 termFormat ChineseLanguage, LifeThreateningDisease and "危及生命的疾病"
(termFormat ChineseTraditionalLanguage LifeThreateningDisease "危及生命的疾病") domainEnglishFormat.kif 34266-34266 termFormat ChineseTraditionalLanguage, LifeThreateningDisease and "危及生命的疾病"
(termFormat EnglishLanguage LifeThreateningDisease "life threatening disease") domainEnglishFormat.kif 34265-34265 termFormat EnglishLanguage, LifeThreateningDisease and "life threatening disease"

antecedent
-------------------------


(=>
    (and
        (instance ?DISEASE LifeThreateningDisease)
        (attribute ?AGENT ?DISEASE))
    (capability Death experiencer ?AGENT))
WMD.kif 982-986
(=>
    (and
        (instance ?DISEASE LifeThreateningDisease)
        (biochemicalAgentSyndrome ?AGENT ?DISEASE))
    (instance ?AGENT LifeThreateningAgent))
WMD.kif 988-992

consequent
-------------------------


(=>
    (diseaseMortality ?DISEASE ?RATE)
    (instance ?DISEASE LifeThreateningDisease))
WMD.kif 866-868


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners