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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Iraq
Iraq(iraq)
Al-Iraq, Irak, Iraq, Republic_of_Iraq

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3221-3221 Iraqi dinar is a currency type of iraq
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1263-1263
No TPTP formula. May not be expressible in strict first order. Economy.kif 662-662 Developing country is an economy type of iraq
No TPTP formula. May not be expressible in strict first order. Economy.kif 278-278 Less developed country is an economy type of iraq
No TPTP formula. May not be expressible in strict first order. pictureList.kif 519-519
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 248-248 Iraq is a geographic subregion of middle east region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 249-249 Iraq is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2572-2572 Atrush iraq is a geographic subregion of iraq
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2584-2584 Baghdad iraq is a geographic subregion of iraq
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2764-2764 Dahuk iraq is a geographic subregion of iraq
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2867-2867 Ghalebieh iraq is a geographic subregion of iraq
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2913-2913 Hawana iraq is a geographic subregion of iraq
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2941-2941 Ibsril iraq is a geographic subregion of iraq
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2948-2948 Irbil iraq is a geographic subregion of iraq
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3286-3286 Najaf iraq is a geographic subregion of iraq
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3466-3466 Sairanbar iraq is a geographic subregion of iraq
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3552-3552 Sukaimaniyah iraq is a geographic subregion of iraq
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3556-3556 Sulaymaniyah iraq is a geographic subregion of iraq
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3626-3626 Umm qasr iraq is a geographic subregion of iraq
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4005-4005 Iraq has name "Iraq"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30973-30973
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30972-30972
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30971-30971

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2722-2722 "IQ" in ISO-3166-1-alpha-2 denotes iraq


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