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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Kuwait
  SoundRecordingIndustries

Sigma KEE - Kuwait
Kuwait

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3257-3257 currencyType Kuwait and KuwaitiDinar
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1274-1274
No TPTP formula. May not be expressible in strict first order. Economy.kif 667-667 economyType Kuwait and DevelopingCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 283-283 economyType Kuwait and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order. pictureList.kif 543-543
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 254-254 geographicSubregion Kuwait and MiddleEastRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 255-255 Kuwait e' uma instancia de Nacao

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3093-3093 geographicSubregion KuwaitCityKuwait and Kuwait
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4008-4008 Kuwait se chama nome "Kuwait"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32911-32911
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32910-32910
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32909-32909

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


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


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

Show without tree


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