VladivostokRussia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2438-2438
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5551-5551
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5193-5193
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5552-5552
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5553-5553
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5554-5554
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3657-3657	Vladivostok russia is a geographic subregion of russia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2437-2437	Vladivostok russia is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3658-3658	Vladivostok russia has name "Vladivostok"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61832-61832
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61831-61831
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61830-61830