| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 763-765 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 762-762 | 域 生化藥物綜合症, 2 and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 761-761 | 域子類 生化藥物綜合症, 1 and 生化劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 760-760 | 例 生化藥物綜合症 and BinaryPredicate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 296-296 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 295-295 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 294-294 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11045-11045 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11044-11044 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11043-11043 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 775-779 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1124-1129 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1035-1040 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1131-1136 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1773-1775 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 775-779 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 2029-2034 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 921-929 | 降低可能性 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒徵兆 ?AGENT biochemical 病毒解毒製劑 ?SUBSTANCE 對於 ?PROCESS 例 ?SAMPLE and ?SUBSTANCE 例 ?THERAPY and ?PROCESS 體驗者 ?THERAPY and ?ORGANISM 患者 ?THERAPY and ?SAMPLE and attribute ?ORGANISM and ?SYMPTOM |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 767-773 | 增加可能性 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒徵兆 ?PROCESSTYPE 是 ?AGENT 的 biochemical 病毒傳遞 例 ?PROCESS and ?PROCESSTYPE 體驗者 ?PROCESS and ?ORGANISM and attribute ?ORGANISM and ?SYMPTOM |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 293-293 | 吸入性炭疽 是 霧化的炭疽芽孢桿菌 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1829-1829 | 黃曲霉毒素中毒 是 黃曲霉毒素 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 280-280 | 炭疽病 是 炭疽桿菌 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1587-1587 | 百日咳 是 百日咳博德特氏菌 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1422-1422 | LymeDisease 是 Borrelia 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 327-327 | 肉毒中毒 是 肉毒桿菌毒素 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 387-387 | 波狀熱 是 布魯氏菌 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 358-358 | 馬鼻疽 是 burkholderia mallei 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 376-376 | 類鼻疽 是 burkholderia 假單胞菌 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1596-1596 | 鸚鵡學舌 是 衣原體鸚鵡熱 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 614-614 | 胃腸炎 是 氯化苦 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1508-1508 | 破傷風 是 破傷風梭菌 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1398-1398 | 裂谷熱 是 球孢子菌 posadasii 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1386-1386 | 裂谷熱 是 球孢子菌絲蟲 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1471-1471 | 麻痺性貝類中毒 是 芋螺毒素 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1897-1897 | 白喉 是 白喉棒狀桿菌 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1249-1249 | Q發燒 是 coxiella burnetii 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1920-1920 | 克里米亞剛果出血熱 是 克里米亞剛果出血熱病毒 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1639-1639 | 登革熱 是 登革熱病毒 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1640-1640 | 登革熱出血熱 是 登革熱病毒 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1691-1691 | 東部馬腦炎 是 東部馬腦炎病毒 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1196-1196 | 埃博拉出血熱 是 伊波拉病毒 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1206-1206 | 兔熱病 是 弗朗西斯 土拉弗朗西斯菌 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1364-1364 | 胃腸炎 是 賈第鞭毛蟲 的 biochemical 病毒徵兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1950-1950 | 委內瑞拉出血熱 是 瓜納里託病毒 的 biochemical 病毒徵兆 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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