|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 542-542 | 例 香港 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 644-644 | 例 Howland島 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 346-346 | 例 人島 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 312-312 | 例 jan mayen 島 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 645-645 | 例 賈維斯島 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 345-345 | 例 球衣 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 646-646 | 例 約翰斯頓環礁 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 647-647 | 例 金曼礁 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 543-543 | 例 澳門 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 421-421 | 例 馬提尼克 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 648-648 | 例 中途島嶼 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 422-422 | 例 蒙特塞拉特 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 423-423 | 例 納瓦薩島 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 424-424 | 例 荷屬安的列斯 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 649-649 | 例 新喀裡多尼亞 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 650-650 | 例 紐埃 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 651-651 | 例 諾福克島 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 652-652 | 例 北馬里亞納群島 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2571-2571 | 例 PalestinianTerritories and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 653-653 | 例 巴爾米拉環礁 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 595-595 | 例 西沙群島 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 654-654 | 例 皮特凱恩群島 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 232-232 | 例 聖海倫娜 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 402-402 | 例 聖皮埃爾和密克隆 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 493-493 | 例 南佐治亞和南三明治島嶼 and LandArea |
| 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