No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8018-8018 |
不相交的 獨立國家 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2561-2561 |
例 AalandIslands and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3858-3858 |
例 美國薩摩亞 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3859-3859 |
例 安圭拉 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3860-3860 |
例 阿魯巴 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3861-3861 |
例 阿什莫爾和卡地亞島嶼 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3862-3862 |
例 貝克島 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3863-3863 |
例 bassas da 印度 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3864-3864 |
例 百慕大 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3865-3865 |
例 布維島 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3866-3866 |
例 英屬印度洋領地 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3867-3867 |
例 英屬維爾京群島 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3868-3868 |
例 開曼群島 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3752-3752 |
例 ChannelIslands and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3869-3869 |
例 聖誕島 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3870-3870 |
例 clipperton島 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3871-3871 |
例 科科斯基林群島 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3872-3872 |
例 庫克群島 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3873-3873 |
例 珊瑚海島嶼 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3874-3874 |
例 歐羅巴島 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3875-3875 |
例 福克蘭群島 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3876-3876 |
例 法羅群島 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3877-3877 |
例 法屬圭亞那 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3878-3878 |
例 法屬波利尼西亞 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3879-3879 |
例 法國南部和南極的土地 and 依賴或特殊主權領域 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |