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 Year 是 法郎区 的成立 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 法郎区 是 国际组织 的 instance
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