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 3583-3583 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 730-730 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 5170-5170 Yemen meets gulf of aden

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2498-2498 Aden yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3089-3089 Kohlan yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3208-3208 Mawdiyah yemen is a geographic subregion of yemen
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 3411-3411 Rada aman yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3452-3452 Saada yemen is a geographic subregion of yemen
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 3558-3558 Sumayr yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3661-3661 Wadi al dabaat yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3694-3694 Zamar yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4016-4016 Yemen has name "Yemen"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63799-63799
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63798-63798
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63797-63797

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2840-2840 "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