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	geographicSubregion YerevanArmenia and Armenia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2460-2460	YerevanArmenia est une instance de ville

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3683-3683	YerevanArmenia s'appele nom "Yerevan"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63831-63831
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63830-63830
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63829-63829