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 |