| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 784-787 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 782-782 | 域子類 生化劑遞送, 1 and 生化劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 783-783 | 域子類 生化劑遞送, 2 and Process |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 781-781 | 例 生化劑遞送 and BinaryPredicate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 292-292 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 291-291 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 290-290 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11039-11039 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11038-11038 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11037-11037 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 789-793 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 789-793 |
|
| statement |
|
|
| 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 292-292 | Breathing 是 霧化的炭疽芽孢桿菌 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 281-281 | Breathing 是 炭疽桿菌 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 282-282 | Ingesting 是 炭疽桿菌 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 283-283 | 注射 是 炭疽桿菌 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 284-284 | Touching 是 炭疽桿菌 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1850-1850 | Ingesting 是 蠟狀芽孢桿菌 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 200-200 | Breathing 是 細菌劑 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 201-201 | Touching 是 細菌劑 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 477-477 | Breathing 是 發泡劑 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 478-478 | Ingesting 是 發泡劑 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 476-476 | Touching 是 發泡劑 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 523-523 | Breathing 是 血液劑 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1588-1588 | Breathing 是 百日咳博德特氏菌 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 326-326 | Ingesting 是 肉毒桿菌毒素 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 357-357 | 注射 是 burkholderia mallei 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 374-374 | Breathing 是 burkholderia 假單胞菌 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 375-375 | Ingesting 是 burkholderia 假單胞菌 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 373-373 | 注射 是 burkholderia 假單胞菌 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1598-1598 | Breathing 是 衣原體鸚鵡熱 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 603-603 | Breathing 是 窒息劑 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 342-342 | Ingesting 是 產氣莢膜梭菌 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1507-1507 | 注射 是 破傷風梭菌 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1250-1250 | Breathing 是 coxiella burnetii 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1251-1251 | Ingesting 是 coxiella burnetii 的 biochemical 病毒傳遞 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1921-1921 | 注射 是 克里米亞剛果出血熱病毒 的 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