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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Egypt
Egypt

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3125-3125 currencyType Egypt and EgyptianPound
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1230-1230
No TPTP formula. May not be expressible in strict first order. Economy.kif 644-644 economyType Egypt and DevelopingCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 260-260 economyType Egypt and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order. pictureList.kif 408-408
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 118-118 geographicSubregion Egypt and NorthernAfrica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 119-119 Egypt est une instance de nation
No TPTP formula. May not be expressible in strict first order. Geography.kif 4802-4802 Egypt rencontre RedSea

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2566-2566 geographicSubregion AswanEgypt and Egypt
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2568-2568 geographicSubregion AsyutEgypt and Egypt
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2693-2693 geographicSubregion CairoEgypt and Egypt
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2876-2876 geographicSubregion GizaEgypt and Egypt
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2937-2937 geographicSubregion HurghadaEgypt and Egypt
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3154-3154 geographicSubregion LuxorEgypt and Egypt
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3947-3947 Egypt s'appele nom "Egypt"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21336-21336
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21335-21335
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21334-21334

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2693-2693 codeMapping ISO-3166-1-alpha-2, "EG" and Egypt


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