TreeView Knowledge Base Browser - SarajevoBosniaAndHerzegovina

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2302-2302
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5785-5785
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5788-5788
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5782-5782
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5784-5784
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5781-5781
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3503-3503	萨拉热窝波斯尼亚和黑塞哥维那是波斯尼亚和黑塞哥维那的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2301-2301	萨拉热窝波斯尼亚和黑塞哥维那是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3504-3504	萨拉热窝波斯尼亚和黑塞哥维那的名是 "Sarajevo"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51249-51249
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51248-51248
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51247-51247