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	巴库阿塞拜疆是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2595-2595	巴库阿塞拜疆的名是 "Baku"
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