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	Sarajevo bosnia and herzegovina is a geographic subregion of bosnia and herzegovina
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2301-2301	Sarajevo bosnia and herzegovina is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3504-3504	Sarajevo bosnia and herzegovina has name "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