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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SaoTomeAndPrincipe

 Sigma KEE - SaoTomeAndPrincipe
SaoTomeAndPrincipe(聖多美和普林西比)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3433-3433 聖多美普林西比多布拉 是 聖多美和普林西比 的 currency 類別
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1339-1339
No TPTP formula. May not be expressible in strict first order. Economy.kif 705-705 發展中國家 是 聖多美和普林西比 的 economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 321-321 較未發達國家 是 聖多美和普林西比 的 economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 714-714
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8694-8694
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 221-221 聖多美和普林西比 是 西非 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 222-222 例 聖多美和普林西比 and Nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3994-3994 名 "Sao Tome and Principe" and 聖多美和普林西比
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51231-51231
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51230-51230
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51229-51229

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2804-2804 "ST" 在 ISO-3166-1-alpha-2 denotes 聖多美和普林西比


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