|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3825-3825 | 諾福克島 是 澳大利亞 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3827-3827 | 北馬里亞納群島 是 美國 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 756-756 | 巴勒斯坦 是 英國 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3829-3829 | 巴爾米拉環礁 是 美國 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3831-3831 | 皮特凱恩群島 是 英國 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3833-3833 | 波多黎各 是 美國 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3834-3834 | 團圓 是 法國 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3836-3836 | 聖海倫娜 是 英國 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3838-3838 | 聖皮埃爾和密克隆 是 法國 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3840-3840 | 南佐治亞和南三明治島嶼 是 英國 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3842-3842 | 斯瓦爾巴 是 挪威 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3844-3844 | 托克勞 是 新西蘭 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3846-3846 | 特羅姆林島 是 法國 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3848-3848 | 特克斯和凱科斯群島 是 英國 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3850-3850 | USVirginIslands 是 美國 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3853-3853 | 甦醒島 是 美國 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3855-3855 | 瓦利斯和富圖納群島 是 法國 的 dependent |
|
|
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