MukallahAdenYemen - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2075-2075
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5770-5770
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5772-5772
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5644-5644
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5771-5771
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3258-3258	Mukallah aden yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2074-2074	Mukallah aden yemen is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3259-3259	Mukallah aden yemen has name "Mukallah-Aden"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39105-39105
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39104-39104
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39103-39103