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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ViralDisease
ViralDisease(病毒性疾病)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5948-5949
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5947-5947 子類 病毒性疾病 and 傳染病

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1233-1233 Covid19 and 病毒性疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1646-1646 登革熱 and 病毒性疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1696-1696 東部馬腦炎 and 病毒性疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1517-1517 皰疹B and 病毒性疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1710-1710 日本腦炎 and 病毒性疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1666-1666 la crosse 腦炎 and 病毒性疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1863-1863 拉沙熱 and 病毒性疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1740-1740 馬爾堡病 and 病毒性疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1238-1238 mixomatosis and 病毒性疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1228-1228 猴痘 and 病毒性疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1822-1822 輪狀病毒腸胃炎 and 病毒性疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1680-1680 聖路易斯腦炎 and 病毒性疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1220-1220 天花 and 病毒性疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1631-1631 西尼羅河熱 and 病毒性疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1169-1169 黃皮膚黃 and 病毒性疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1119-1119 子類 出血熱 and 病毒性疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1777-1777 子類 肝炎 and 病毒性疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1447-1447 子類 流感 and 病毒性疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1423-1423 子類 裂谷熱 and 病毒性疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 2036-2036 子類 蜱傳腦炎 and 病毒性疾病
No TPTP formula. May not be expressible in strict first order. WMD.kif 1408-1408 子類 委內瑞拉馬腦炎 and 病毒性疾病
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61706-61706
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61705-61705
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61704-61704

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1278-1282

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1258-1265
No TPTP formula. May not be expressible in strict first order. WMD.kif 1131-1136


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