|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 745-745 | 日语手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 755-755 | 约旦手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 760-760 | 肯尼亚手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 787-787 | 韩国手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 797-797 | 吉隆坡手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 808-808 | 老挝手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 814-814 | 拉脱维亚手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 819-819 | 利比亚手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 824-824 | 立陶宛语手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 829-829 | 里昂手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 835-835 | 马来西亚手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 846-846 | 马耳他语手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 851-851 | 海上手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 859-859 | 玛莎的葡萄园手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 872-872 | 墨西哥手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 893-893 | 蒙古手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 899-899 | 摩洛哥手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 913-913 | 莫桑比克手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 921-921 | 纳米比亚手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 938-938 | 尼泊尔手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 926-926 | 新西兰手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 944-944 | 尼加拉瓜手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 953-953 | 尼日利亚手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 959-959 | 挪威手语 是 聋人手语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 975-975 | 古老的肯特手语 是 聋人手语 的 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