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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Samoa

 Sigma KEE - Samoa
Samoa
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3579-3579 currencyType Samoa and WesternSamoanTala
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1337-1337
No TPTP formula. May not be expressible in strict first order. Economy.kif 704-704 economyType Samoa and DevelopingCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 320-320 economyType Samoa and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order. pictureList.kif 711-711
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8266-8266
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6976-6976
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8262-8262
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8263-8263
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8267-8267
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8264-8264
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8265-8265
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 693-693 geographicSubregion Samoa and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 694-694 Samoa est une instance de nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4221-4221 Samoa s'appele nom "Samoa"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51039-51039
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51038-51038
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51037-51037

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


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


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