VolgodonskRussia
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2440-2440 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8784-8784 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9806-9806 | |
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 2439-2439 | Volgodonsk俄罗斯 是 城市 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3660-3660 | Volgodonsk俄罗斯 的名 是 "Volgodonsk" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61923-61923 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61922-61922 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61921-61921 |