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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BritishPound
BritishPound(英鎊)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 293-293
No TPTP formula. May not be expressible in strict first order. Economy.kif 2886-2886 例 英鎊 and UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2887-2887 英鎊 是 英國 的 currency 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 2910-2910 英鎊 是 英鎊硬幣 的 currency 價值
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11981-11981
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11980-11980
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11979-11979

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2303-2303 "GBP" 在 ISO-4217-A denotes 英鎊


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