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 子類 危及生命的疾病 and DiseaseOrSyndrome

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1834-1834 黃曲霉毒素中毒 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 333-333 肉毒中毒 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1487-1487 霍亂 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1910-1910 克里米亞剛果出血熱 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1652-1652 登革熱出血熱 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1902-1902 白喉 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1697-1697 東部馬腦炎 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1800-1800 B型肝炎 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1810-1810 C型肝炎 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1518-1518 皰疹B and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1146-1146 吸入性炭疽 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1711-1711 日本腦炎 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1864-1864 拉沙熱 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1887-1887 軍團病 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1608-1608 瘧疾 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1741-1741 馬爾堡病 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1766-1766 壞死性筋膜炎 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1462-1462 麻痺性貝類中毒 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 259-259 落基山斑疹熱 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1681-1681 聖路易斯腦炎 and 危及生命的疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1731-1731 結核 and 危及生命的疾病
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