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	耶烈萬亞美尼亞是亞美尼亞的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2460-2460	例耶烈萬亞美尼亞 and City

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3683-3683	名 "Yerevan" and 耶烈萬亞美尼亞
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