|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4802-4802 | 埃及 接上 红海 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4804-4804 | 厄立特里亚 接上 红海 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 140-140 | 欧罗巴岛 接上 印度洋 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 45-45 | 欧洲 接上 亚洲 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 926-926 | 佛罗里达 接上 阿拉巴马 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 927-927 | 佛罗里达 接上 GulfOfMexico |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 925-925 | 佛罗里达 接上 北大西洋 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2580-2580 | 加沙地带 接上 以色列 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 933-933 | 格鲁吉亚 接上 阿拉巴马 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 932-932 | 格鲁吉亚 接上 佛罗里达 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 931-931 | 格鲁吉亚 接上 北大西洋 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 142-142 | Glorioso岛屿 接上 印度洋 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 936-936 | 夏威夷 接上 太平洋 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 144-144 | 听过岛屿和麦当劳群岛 接上 印度洋 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 940-940 | Idaho 接上 加拿大 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 943-943 | Idaho 接上 Nevada |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 942-942 | Idaho 接上 Oregon |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 944-944 | Idaho 接上 犹他州 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 941-941 | Idaho 接上 华盛顿 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 948-948 | 伊利诺伊 接上 Iowa |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 949-949 | 伊利诺伊 接上 密苏里州 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 953-953 | Indiana 接上 伊利诺伊 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 958-958 | Iowa 接上 密苏里州 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 957-957 | Iowa 接上 Nebraska |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 956-956 | Iowa 接上 SouthDakota |
| 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