No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 56-56 |
法國 是 巴黎 的 capital 城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3926-3926 |
法國 是 南極洲 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3736-3736 |
Bassas da 印度 是 法國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3756-3756 |
Clipperton島 是 法國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3764-3764 |
歐羅巴島 是 法國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3770-3770 |
法屬圭亞那 是 法國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3772-3772 |
法屬波利尼西亞 是 法國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3774-3774 |
法國南部和南極的土地 是 法國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3778-3778 |
Glorioso島嶼 是 法國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3782-3782 |
瓜德羅普島 是 法國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3803-3803 |
胡安德諾瓦島 是 法國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3809-3809 |
馬提尼克 是 法國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3811-3811 |
馬約特 是 法國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3821-3821 |
新喀裡多尼亞 是 法國 的 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 3838-3838 |
聖皮埃爾和密克隆 是 法國 的 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 3855-3855 |
瓦利斯和富圖納群島 是 法國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2510-2510 |
Ajaccio 法國 是 法國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2750-2750 |
科西嘉島法國 是 法國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2752-2752 |
科爾特法國 是 法國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2781-2781 |
迪南法國 是 法國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3122-3122 |
Lile 魯塞法國 是 法國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3156-3156 |
里昂法國 是 法國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3202-3202 |
馬賽法國 是 法國 的 geographic 次要地區 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |