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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LifeThreateningDisease

 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 1026-1027
(subclass LifeThreateningDisease DiseaseOrSyndrome) WMD.kif 1025-1025

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


(instance Aflatoxicosis LifeThreateningDisease) WMD.kif 1834-1834
(instance Botulism LifeThreateningDisease) WMD.kif 333-333
(instance Cholera LifeThreateningDisease) WMD.kif 1487-1487
(instance CrimeanCongoHemorrhagicFever LifeThreateningDisease) WMD.kif 1910-1910
(instance DengueHemorrhagicFever LifeThreateningDisease) WMD.kif 1652-1652
(instance Diphtheria LifeThreateningDisease) WMD.kif 1902-1902
(instance EasternEquineEncephalitis LifeThreateningDisease) WMD.kif 1697-1697
(instance HepatitisB LifeThreateningDisease) WMD.kif 1800-1800
(instance HepatitisC LifeThreateningDisease) WMD.kif 1810-1810
(instance HerpesB LifeThreateningDisease) WMD.kif 1518-1518
(instance InhalationalAnthrax LifeThreateningDisease) WMD.kif 1146-1146
(instance JapaneseEncephalitis LifeThreateningDisease) WMD.kif 1711-1711
(instance LassaFever LifeThreateningDisease) WMD.kif 1864-1864
(instance LegionnairesDisease LifeThreateningDisease) WMD.kif 1887-1887
(instance Malaria LifeThreateningDisease) WMD.kif 1608-1608
(instance MarburgDisease LifeThreateningDisease) WMD.kif 1741-1741
(instance NecrotizingFaciitis LifeThreateningDisease) WMD.kif 1766-1766
(instance ParalyticShellfishPoisoning LifeThreateningDisease) WMD.kif 1462-1462
(instance RockyMountainSpottedFever LifeThreateningDisease) WMD.kif 259-259
(instance SaintLouisEncephalitis LifeThreateningDisease) WMD.kif 1681-1681
(instance Tuberculosis LifeThreateningDisease) WMD.kif 1731-1731
(termFormat ChineseLanguage LifeThreateningDisease "危及生命的疾病") domainEnglishFormat.kif 34355-34355
(termFormat ChineseTraditionalLanguage LifeThreateningDisease "危及生命的疾病") domainEnglishFormat.kif 34354-34354
(termFormat EnglishLanguage LifeThreateningDisease "life threatening disease") domainEnglishFormat.kif 34353-34353

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


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners