UmmQasrIraq - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2410-2410
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5185-5185
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5532-5532
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5531-5531
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3626-3626	Umm qasr iraq is a geographic subregion of iraq
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2409-2409	Umm qasr iraq is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3627-3627	Umm qasr iraq has name "Umm Qasr"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59828-59828
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59827-59827
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59826-59826