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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NigerianNaira

Sigma KEE - NigerianNaira
NigerianNaira(尼日利亚奈拉)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 4200-4200
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4202-4202
No TPTP formula. May not be expressible in strict first order. Economy.kif 3367-3367 尼日利亚奈拉UnitOfCurrencyinstance

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3369-3369 尼日利亚奈拉尼日利亚currency 类别
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40533-40533
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40532-40532
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40531-40531

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2432-2432 "NGN" 在 ISO-4217-A 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