No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 717-717 |
德国 是 柏林,德国 的 capital 城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2582-2582 |
德国 bad vilbel 是 德国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2640-2640 |
柏林,德国 是 德国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2667-2667 |
波恩德国 是 德国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2736-2736 |
科隆德国 是 德国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2796-2796 |
多特蒙德德国 是 德国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2800-2800 |
杜塞尔多夫德国 是 德国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2847-2847 |
法兰克福德国 是 德国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2899-2899 |
汉堡德国 是 德国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2905-2905 |
汉诺威德国 是 德国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3150-3150 |
吕贝克德国 是 德国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3260-3260 |
Munchen gladbach 德国 是 德国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3264-3264 |
芒斯特德国 是 德国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3333-3333 |
NuremburgGermany 是 德国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3358-3358 |
奥斯纳布鲁克德国 是 德国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5107-5107 |
SortimoCorp 的 headquarters 是在 德国 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4020-4020 |
德国 的名 是 "Germany" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25920-25920 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25919-25919 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25918-25918 |
|