BasraIsrael - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1513-1513
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8969-8969
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8371-8371
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8967-8967
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8968-8968
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2612-2612	Basra israel is a geographic subregion of israel
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1512-1512	Basra israel is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2613-2613	Basra israel has name "Basra"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10146-10146
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10145-10145
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10144-10144