MoscowRussia - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3253-3253	莫斯科俄罗斯的名是 "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