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 |
![]() |
![]() |