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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 西部萨摩亚达拉 是 萨摩亚 的 currency 类别
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 发展中国家 是 萨摩亚 的 economy 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 320-320 较未发达国家 是 萨摩亚 的 economy 类别
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 萨摩亚 是 大洋洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 694-694 萨摩亚 是 国家 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4221-4221 萨摩亚 的名 是 "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" 在 ISO-3166-1-alpha-2 denotes 萨摩亚


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