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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CongoFranc
CongoFranc(congo franc)
Congo_franc

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 3833-3833
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3680-3680
No TPTP formula. May not be expressible in strict first order. Economy.kif 3082-3082 Congo franc is an instance of UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3084-3084 Congo franc is a currency type of democratic republic of the congo
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16605-16605
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16604-16604
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16603-16603

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2348-2348 "CDF" in ISO-4217-A denotes congo franc


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