Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  VaccinatableDisease

 Sigma KEE - VaccinatableDisease
VaccinatableDisease(可预防的疾病)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1043-1044
No TPTP formula. May not be expressible in strict first order. WMD.kif 1062-1063
No TPTP formula. May not be expressible in strict first order. WMD.kif 1042-1042 可预防的疾病 是 传染病 的 subclass

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 334-334 肉毒中毒 是 可预防的疾病 的 instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1486-1486 霍乱 是 可预防的疾病 的 instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1787-1787 A型肝炎 是 可预防的疾病 的 instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1799-1799 B型肝炎 是 可预防的疾病 的 instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1712-1712 日本脑炎 是 可预防的疾病 的 instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1578-1578 百日咳 是 可预防的疾病 的 instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 412-412 鼠疫 是 可预防的疾病 的 instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1498-1498 破伤风 是 可预防的疾病 的 instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1730-1730 结核 是 可预防的疾病 的 instance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1448-1448 流感 是 可预防的疾病 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 2037-2037 蜱传脑炎 是 可预防的疾病 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 1409-1409 委内瑞拉马脑炎 是 可预防的疾病 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61148-61148
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61147-61147
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61146-61146

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1046-1059


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