SarajevoBosniaAndHerzegovina - Sigma Knowledge base Browser

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	例薩拉熱窩波斯尼亞和黑塞哥維那 and City

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3504-3504	名 "Sarajevo" and 薩拉熱窩波斯尼亞和黑塞哥維那
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