| MoscowRussia(moscow russia)
| | Moscow, Russian_capital, capital_of_the_Russian_Federation |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 749-749 | Russia is a capital city of moscow russia |
| 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 | Moscow russia is a geographic subregion of russia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 748-748 | Moscow russia is an instance of city |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3253-3253 | Moscow russia has name "Moscow" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38613-38613 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38612-38612 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38611-38611 |
|
|
|