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 1026-1027
(subclass LifeThreateningDisease DiseaseOrSyndrome) WMD.kif 1025-1025 LifeThreateningDisease è una sottoclasse di MalattiaOSindrome

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


(instance Aflatoxicosis LifeThreateningDisease) WMD.kif 1834-1834 Aflatoxicosis è un' istanza di LifeThreateningDisease
(instance Botulism LifeThreateningDisease) WMD.kif 333-333 Botulism è un' istanza di LifeThreateningDisease
(instance Cholera LifeThreateningDisease) WMD.kif 1487-1487 Cholera è un' istanza di LifeThreateningDisease
(instance CrimeanCongoHemorrhagicFever LifeThreateningDisease) WMD.kif 1910-1910 CrimeanCongoHemorrhagicFever è un' istanza di LifeThreateningDisease
(instance DengueHemorrhagicFever LifeThreateningDisease) WMD.kif 1652-1652 DengueHemorrhagicFever è un' istanza di LifeThreateningDisease
(instance Diphtheria LifeThreateningDisease) WMD.kif 1902-1902 Diphtheria è un' istanza di LifeThreateningDisease
(instance EasternEquineEncephalitis LifeThreateningDisease) WMD.kif 1697-1697 EasternEquineEncephalitis è un' istanza di LifeThreateningDisease
(instance HepatitisB LifeThreateningDisease) WMD.kif 1800-1800 HepatitisB è un' istanza di LifeThreateningDisease
(instance HepatitisC LifeThreateningDisease) WMD.kif 1810-1810 HepatitisC è un' istanza di LifeThreateningDisease
(instance HerpesB LifeThreateningDisease) WMD.kif 1518-1518 HerpesB è un' istanza di LifeThreateningDisease
(instance InhalationalAnthrax LifeThreateningDisease) WMD.kif 1146-1146 InhalationalAnthrax è un' istanza di LifeThreateningDisease
(instance JapaneseEncephalitis LifeThreateningDisease) WMD.kif 1711-1711 JapaneseEncephalitis è un' istanza di LifeThreateningDisease
(instance LassaFever LifeThreateningDisease) WMD.kif 1864-1864 LassaFever è un' istanza di LifeThreateningDisease
(instance LegionnairesDisease LifeThreateningDisease) WMD.kif 1887-1887 LegionnairesDisease è un' istanza di LifeThreateningDisease
(instance Malaria LifeThreateningDisease) WMD.kif 1608-1608 Malaria è un' istanza di LifeThreateningDisease
(instance MarburgDisease LifeThreateningDisease) WMD.kif 1741-1741 MarburgDisease è un' istanza di LifeThreateningDisease
(instance NecrotizingFaciitis LifeThreateningDisease) WMD.kif 1766-1766 NecrotizingFaciitis è un' istanza di LifeThreateningDisease
(instance ParalyticShellfishPoisoning LifeThreateningDisease) WMD.kif 1462-1462 ParalyticShellfishPoisoning è un' istanza di LifeThreateningDisease
(instance RockyMountainSpottedFever LifeThreateningDisease) WMD.kif 259-259 RockyMountainSpottedFever è un' istanza di LifeThreateningDisease
(instance SaintLouisEncephalitis LifeThreateningDisease) WMD.kif 1681-1681 SaintLouisEncephalitis è un' istanza di LifeThreateningDisease
(instance Tuberculosis LifeThreateningDisease) WMD.kif 1731-1731 Tuberculosis è un' istanza di LifeThreateningDisease
(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 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