No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2887-2887 |
currencyType UnitedKingdom and BritishPound |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2910-2910 |
currencyValue BritishPoundCoin and BritishPound |
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 |
|