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
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1026-1027
No TPTP formula. May not be expressible in strict first order. WMD.kif 1025-1025 LifeThreateningDisease e' uma sub-classe de Doenca ou Sindrome

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1834-1834 Aflatoxicosis e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 333-333 Botulism e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1487-1487 Cholera e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1910-1910 CrimeanCongoHemorrhagicFever e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1652-1652 DengueHemorrhagicFever e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1902-1902 Diphtheria e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1697-1697 EasternEquineEncephalitis e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1800-1800 HepatitisB e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1810-1810 HepatitisC e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1518-1518 HerpesB e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1146-1146 InhalationalAnthrax e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1711-1711 JapaneseEncephalitis e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1864-1864 LassaFever e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1887-1887 LegionnairesDisease e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1608-1608 Malaria e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1741-1741 MarburgDisease e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1766-1766 NecrotizingFaciitis e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1462-1462 ParalyticShellfishPoisoning e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 259-259 RockyMountainSpottedFever e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1681-1681 SaintLouisEncephalitis e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1731-1731 Tuberculosis e' uma instancia de LifeThreateningDisease
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34355-34355
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34354-34354
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34353-34353

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1029-1033
No TPTP formula. May not be expressible in strict first order. WMD.kif 1035-1040

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


No TPTP formula. May not be expressible in strict first order. 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