|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 478-478 | 多米尼加手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 485-485 | 荷兰手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 497-497 | 厄瓜多尔手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 505-505 | 爱沙尼亚手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 527-527 | 埃塞俄比亚手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 535-535 | 芬兰手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 549-549 | 法语手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 568-568 | 德国手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 579-579 | 加纳手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 591-591 | 希腊手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 597-597 | 危地马拉手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 602-602 | 几内亚手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 610-610 | 海防手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 616-616 | 河内手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 622-622 | Hausa手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 627-627 | 夏威夷pidgin手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 638-638 | 胡志明市手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 644-644 | 匈牙利手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 656-656 | 冰岛手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 666-666 | 印度手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 690-690 | 印尼手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 697-697 | 爱尔兰手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 712-712 | 以色列手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 727-727 | 意大利手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 736-736 | 牙买加手语 是 聋人手语 的 instance |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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