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 3920-3920 Yemeni rial is a currency type of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1382-1382 Yemeni rial is a currency type of yemen
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 Less developed country is an economy type of yemen
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 5424-5424 Yemen meets gulf of aden

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2500-2500 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 3207-3207 Mawdiyah yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3256-3256 Mukallah aden yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3408-3408 Rada aman yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3448-3448 Saada yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3484-3484 Sanaa yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3554-3554 Sumayr yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3658-3658 Wadi al dabaat yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3689-3689 Zamar yemen is a geographic subregion of yemen
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4011-4011 Yemen has &ames$"name" "Yemen"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63793-63793 Yemen has &ames$"name" "Yemen"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63792-63792 Yemen has &ames$"name" "Yemen"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63791-63791 Yemen has &ames$"name" "Yemen"

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


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