BakuAzerbaijan - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1495-1495
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5708-5708
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5701-5701
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5702-5702
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5597-5597
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5707-5707
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5709-5709
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2594-2594	巴庫阿塞拜疆是阿塞拜疆的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1494-1494	例巴庫阿塞拜疆 and City

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2595-2595	名 "Baku" and 巴庫阿塞拜疆
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9654-9654
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9653-9653
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9652-9652