No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2884-2884 |
Afghan afghani is a currency type of afghanistan |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2908-2908 |
Afghan afghani is a currency value of afghan afghani coin |
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 |
|