No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 749-749 |
俄国 是 莫斯科俄罗斯 的 capital 城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2522-2522 |
烷烃蒙古包俄罗斯 是 俄国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2550-2550 |
Argun 俄罗斯 是 俄国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2684-2684 |
Buynaksk俄罗斯 是 俄国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2717-2717 |
Cherno rechye 俄国 是 俄国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2762-2762 |
达吉斯坦俄罗斯 是 俄国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3172-3172 |
Makhachkala俄罗斯 是 俄国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3252-3252 |
莫斯科俄罗斯 是 俄国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3327-3327 |
Novogrozny俄罗斯 是 俄国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3329-3329 |
Novyy atagi 俄罗斯 是 俄国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3448-3448 |
罗斯托夫在唐俄罗斯 是 俄国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3474-3474 |
Samashki俄罗斯 是 俄国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3632-3632 |
Urs martan 俄国 是 俄国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3655-3655 |
Vladikavkaz俄罗斯 是 俄国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3657-3657 |
符拉迪沃斯托克俄罗斯 是 俄国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3659-3659 |
Volgodonsk俄罗斯 是 俄国 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4158-4158 |
俄国 的名 是 "Russia" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50637-50637 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50636-50636 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50635-50635 |
|