SanaaYemen - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2290-2290
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5779-5779
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5777-5777
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5653-5653
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5778-5778
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3488-3488	Sanaa yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2289-2289	Sanaa yemen is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3489-3489	Sanaa yemen has name "Sanaa"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51045-51045
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51044-51044
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51043-51043