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 |
|