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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EgyptianPound
EgyptianPound(egyptian pound)Egyptian_pound, pound

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3123-3123 Egyptian pound is an instance of unit of currency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3125-3125 Egyptian pound is a currency type of egypt
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21342-21342
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21341-21341
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21340-21340

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2368-2368 "EGP" in ISO-4217-A denotes egyptian pound


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