Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Yemen
Yemen(yemen)
Republic_of_Yemen, Yemen

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 3586-3586 Yemeni rial is a currency type of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1382-1382
No TPTP formula. May not be expressible in strict first order. Economy.kif 725-725 Developing country is an economy type of yemen
No TPTP formula. May not be expressible in strict first order. Economy.kif 346-346 Less developed country is an economy type of yemen
No TPTP formula. May not be expressible in strict first order. pictureList.kif 846-846
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 270-270 Yemen is a geographic subregion of middle east region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 271-271 Yemen is an instance of nation
No TPTP formula. May not be expressible in strict first order. Geography.kif 4848-4848 Yemen meets gulf of aden

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2499-2499 Aden yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3090-3090 Kohlan yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3209-3209 Mawdiyah yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3259-3259 Mukallah aden yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3412-3412 Rada aman yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3453-3453 Saada yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3489-3489 Sanaa yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3559-3559 Sumayr yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3662-3662 Wadi al dabaat yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3696-3696 Zamar yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4018-4018 Yemen has name "Yemen"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63721-63721
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63720-63720
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63719-63719

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2810-2810 "YE" in ISO-3166-1-alpha-2 denotes yemen


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners