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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FrancZone

 Sigma KEE - FrancZone
FrancZone(法郎區)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3272-3272 年 1964 是 法郎區 的成立 date
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6039-6039
No TPTP formula. May not be expressible in strict first order. Government.kif 3268-3268 例 法郎區 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3273-3273 貨幣聯盟 是 法郎區 的 organizational 目標

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3271-3271 法郎區 是 "FZ" 的簡稱
No TPTP formula. May not be expressible in strict first order. Government.kif 3269-3269 法郎區 是 "Franc Zone" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 3270-3270 法郎區 是 "Conference des Ministres des Finances des Pays de la Zone Franc" 的 local 全名
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24884-24884
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24883-24883
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24882-24882


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