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 1018-1019
(subclass LifeThreateningDisease DiseaseOrSyndrome) WMD.kif 1017-1017

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


(instance Aflatoxicosis LifeThreateningDisease) WMD.kif 1825-1825
(instance Botulism LifeThreateningDisease) WMD.kif 333-333
(instance Cholera LifeThreateningDisease) WMD.kif 1478-1478
(instance CrimeanCongoHemorrhagicFever LifeThreateningDisease) WMD.kif 1901-1901
(instance DengueHemorrhagicFever LifeThreateningDisease) WMD.kif 1643-1643
(instance Diphtheria LifeThreateningDisease) WMD.kif 1893-1893
(instance EasternEquineEncephalitis LifeThreateningDisease) WMD.kif 1688-1688
(instance HepatitisB LifeThreateningDisease) WMD.kif 1791-1791
(instance HepatitisC LifeThreateningDisease) WMD.kif 1801-1801
(instance HerpesB LifeThreateningDisease) WMD.kif 1509-1509
(instance InhalationalAnthrax LifeThreateningDisease) WMD.kif 1138-1138
(instance JapaneseEncephalitis LifeThreateningDisease) WMD.kif 1702-1702
(instance LassaFever LifeThreateningDisease) WMD.kif 1855-1855
(instance LegionnairesDisease LifeThreateningDisease) WMD.kif 1878-1878
(instance Malaria LifeThreateningDisease) WMD.kif 1599-1599
(instance MarburgDisease LifeThreateningDisease) WMD.kif 1732-1732
(instance NecrotizingFaciitis LifeThreateningDisease) WMD.kif 1757-1757
(instance ParalyticShellfishPoisoning LifeThreateningDisease) WMD.kif 1453-1453
(instance RockyMountainSpottedFever LifeThreateningDisease) WMD.kif 259-259
(instance SaintLouisEncephalitis LifeThreateningDisease) WMD.kif 1672-1672
(instance Tuberculosis LifeThreateningDisease) WMD.kif 1722-1722
(termFormat ChineseLanguage LifeThreateningDisease "危及生命的疾病") domainEnglishFormat.kif 34338-34338
(termFormat ChineseTraditionalLanguage LifeThreateningDisease "危及生命的疾病") domainEnglishFormat.kif 34337-34337
(termFormat EnglishLanguage LifeThreateningDisease "life threatening disease") domainEnglishFormat.kif 34336-34336

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


(=>
    (and
        (instance ?DISEASE LifeThreateningDisease)
        (attribute ?AGENT ?DISEASE))
    (capability Death experiencer ?AGENT))
WMD.kif 1021-1025
(=>
    (and
        (instance ?DISEASE LifeThreateningDisease)
        (biochemicalAgentSyndrome ?AGENT ?DISEASE))
    (instance ?AGENT LifeThreateningAgent))
WMD.kif 1027-1031

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


(=>
    (diseaseMortality ?DISEASE ?RATE)
    (instance ?DISEASE LifeThreateningDisease))
WMD.kif 904-906


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