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 3236-3236 dateEstablished FrancZone and l' ann�e 1964
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 3232-3232 FrancZone est une instance de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 3237-3237 organizationalObjective FrancZone and MonetaryUnion

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3235-3235 abbreviation "FZ" and FrancZone
No TPTP formula. May not be expressible in strict first order. Government.kif 3233-3233 conventionalLongName "Franc Zone" and FrancZone
No TPTP formula. May not be expressible in strict first order. Government.kif 3234-3234 localLongName "Conference des Ministres des Finances des Pays de la Zone Franc" and FrancZone
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