| 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 数量 是 疾病或综合症 的 instance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1531-1531 | 疾病孵化 的 2 数量 是 持续时间 的 instance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1532-1532 | 疾病孵化 的 3 数量 是 持续时间 的 instance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1529-1529 | 疾病孵化 是 三元谓语 的 instance |
| 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 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