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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Samoa
Samoa(samoa)
more pictures...		Independent_State_of_Samoa, Samoa, Samoa_i_Sisifo, Western_Samoa

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3579-3579 Western samoa ntala is a currency type of samoa
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 Developing country is an economy type of samoa
No TPTP formula. May not be expressible in strict first order. Economy.kif 320-320 Less developed country is an economy type of samoa
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 Samoa is a geographic subregion of oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 694-694 Samoa is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4221-4221 Samoa has name "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 "WS" in ISO-3166-1-alpha-2 denotes samoa


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