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	Baku azerbaijan is a geographic subregion of azerbaijan
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1494-1494	Baku azerbaijan is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2595-2595	Baku azerbaijan has name "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