YerevanArmenia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2461-2461
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5835-5835
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5832-5832
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5833-5833
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5836-5836
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5834-5834
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5696-5696
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3682-3682	Yerevan armenia is a geographic subregion of armenia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2460-2460	Yerevan armenia is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3683-3683	Yerevan armenia has name "Yerevan"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63829-63829
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63828-63828
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63827-63827