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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BritishPound

 Sigma KEE - BritishPound
BritishPound(british pound)
British_pound, British_pound_sterling, pound, pound_sterling, quid, sterling

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 British 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 2887-2887 British pound is a currency type of united kingdom
No TPTP formula. May not be expressible in strict first order. Economy.kif 2910-2910 British pound is a currency value of british pound coin
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" in ISO-4217-A denotes british pound


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