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 1700-1700 instance Aflatoxicosis and LifeThreateningDisease
(instance Botulism LifeThreateningDisease) WMD.kif 333-333 instance Botulism and LifeThreateningDisease
(instance Cholera LifeThreateningDisease) WMD.kif 1390-1390 instance Cholera and LifeThreateningDisease
(instance CrimeanCongoHemorrhagicFever LifeThreateningDisease) WMD.kif 1776-1776 instance CrimeanCongoHemorrhagicFever and LifeThreateningDisease
(instance DengueHemorrhagicFever LifeThreateningDisease) WMD.kif 1518-1518 instance DengueHemorrhagicFever and LifeThreateningDisease
(instance Diphtheria LifeThreateningDisease) WMD.kif 1768-1768 instance Diphtheria and LifeThreateningDisease
(instance EasternEquineEncephalitis LifeThreateningDisease) WMD.kif 1563-1563 instance EasternEquineEncephalitis and LifeThreateningDisease
(instance HepatitisB LifeThreateningDisease) WMD.kif 1666-1666 instance HepatitisB and LifeThreateningDisease
(instance HepatitisC LifeThreateningDisease) WMD.kif 1676-1676 instance HepatitisC and LifeThreateningDisease
(instance HerpesB LifeThreateningDisease) WMD.kif 1415-1415 instance HerpesB and LifeThreateningDisease
(instance InhalationalAnthrax LifeThreateningDisease) WMD.kif 1065-1065 instance InhalationalAnthrax and LifeThreateningDisease
(instance JapaneseEncephalitis LifeThreateningDisease) WMD.kif 1577-1577 instance JapaneseEncephalitis and LifeThreateningDisease
(instance LassaFever LifeThreateningDisease) WMD.kif 1730-1730 instance LassaFever and LifeThreateningDisease
(instance LegionnairesDisease LifeThreateningDisease) WMD.kif 1753-1753 instance LegionnairesDisease and LifeThreateningDisease
(instance Malaria LifeThreateningDisease) WMD.kif 1473-1473 instance Malaria and LifeThreateningDisease
(instance MarburgDisease LifeThreateningDisease) WMD.kif 1607-1607 instance MarburgDisease and LifeThreateningDisease
(instance NecrotizingFaciitis LifeThreateningDisease) WMD.kif 1632-1632 instance NecrotizingFaciitis and LifeThreateningDisease
(instance ParalyticShellfishPoisoning LifeThreateningDisease) WMD.kif 1365-1365 instance ParalyticShellfishPoisoning and LifeThreateningDisease
(instance RockyMountainSpottedFever LifeThreateningDisease) WMD.kif 259-259 instance RockyMountainSpottedFever and LifeThreateningDisease
(instance SaintLouisEncephalitis LifeThreateningDisease) WMD.kif 1547-1547 instance SaintLouisEncephalitis and LifeThreateningDisease
(instance Tuberculosis LifeThreateningDisease) WMD.kif 1597-1597 instance Tuberculosis and LifeThreateningDisease
(termFormat ChineseLanguage LifeThreateningDisease "危及生命的疾病") domainEnglishFormat.kif 34279-34279
(termFormat ChineseTraditionalLanguage LifeThreateningDisease "危及生命的疾病") domainEnglishFormat.kif 34278-34278
(termFormat EnglishLanguage LifeThreateningDisease "life threatening disease") domainEnglishFormat.kif 34277-34277

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 3.0 is open source software produced by Articulate Software and its partners