|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 542-542 | 香港 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 644-644 | Howland岛 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 346-346 | 人岛 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 312-312 | Jan mayen 岛 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 645-645 | 贾维斯岛 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 345-345 | 球衣 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 646-646 | 约翰斯顿环礁 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 647-647 | 金曼礁 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 543-543 | 澳门 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 421-421 | 马提尼克 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 648-648 | 中途岛屿 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 422-422 | 蒙特塞拉特 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 423-423 | 纳瓦萨岛 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 424-424 | 荷属安的列斯 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 649-649 | 新喀里多尼亚 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 650-650 | 纽埃 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 651-651 | 诺福克岛 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 652-652 | 北马里亚纳群岛 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2571-2571 | PalestinianTerritories 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 653-653 | 巴尔米拉环礁 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 595-595 | 西沙群岛 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 654-654 | 皮特凯恩群岛 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 232-232 | 圣海伦娜 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 402-402 | 圣皮埃尔和密克隆 是 土地面积 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 493-493 | 南佐治亚和南三明治岛屿 是 土地面积 的 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