|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 745-745 | 例 日語手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 755-755 | 例 約旦手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 760-760 | 例 肯尼亞手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 787-787 | 例 韓國手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 797-797 | 例 吉隆坡手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 808-808 | 例 老撾手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 814-814 | 例 拉脫維亞手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 819-819 | 例 利比亞手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 824-824 | 例 立陶宛語手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 829-829 | 例 里昂手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 835-835 | 例 馬來西亞手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 846-846 | 例 馬耳他語手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 851-851 | 例 海上手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 859-859 | 例 瑪莎的葡萄園手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 872-872 | 例 墨西哥手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 893-893 | 例 蒙古手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 899-899 | 例 摩洛哥手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 913-913 | 例 莫桑比克手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 921-921 | 例 納米比亞手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 938-938 | 例 尼泊爾手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 926-926 | 例 新西蘭手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 944-944 | 例 尼加拉瓜手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 953-953 | 例 尼日利亞手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 959-959 | 例 挪威手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 975-975 | 例 古老的肯特手語 and 聾人手語 |
| 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