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

Formal Language: 



KB Term:  Term intersection
English Word: 

  diseaseIncubation

 Sigma KEE - diseaseIncubation
diseaseIncubation

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1533-1536
No TPTP formula. May not be expressible in strict first order. WMD.kif 1530-1530 域 疾病孵化, 1 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 1531-1531 域 疾病孵化, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order. WMD.kif 1532-1532 域 疾病孵化, 3 and TimeDuration
No TPTP formula. May not be expressible in strict first order. WMD.kif 1529-1529 例 疾病孵化 and TernaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 768-768
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 767-767
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 766-766
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19806-19806
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19805-19805
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19804-19804

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1141-1141 炭疽病 對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 336-336 肉毒中毒 對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 419-419 腺鼠疫 對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1240-1242 Covid19 對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 1911-1911 克里米亞剛果出血熱 對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 1903-1903 白喉 對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 1519-1519 皰疹B 對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 1713-1713 日本腦炎 對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 2047-2047 Kyasanur森林病 對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 1866-1866 拉沙熱 對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 272-272 蝨傳斑疹傷寒 對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 1743-1743 馬爾堡病 對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 1580-1580 百日咳 對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 424-424 肺鼠疫 對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 1602-1602 鸚鵡學舌 對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 1824-1824 輪狀病毒腸胃炎 對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 1682-1682 聖路易斯腦炎 對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 1761-1761 猩紅熱 對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 1499-1499 破傷風 對於 %3 disease 孵化


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