No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2884-2884 |
currencyType Afghanistan and AfghanAfghani |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2908-2908 |
currencyValue AfghanAfghaniCoin and AfghanAfghani |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5688-5688 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5687-5687 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5686-5686 |
|