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 750-751 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1413-1413 |
|
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 748-748 |
莫斯科俄罗斯 是 城市 的 instance |