No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2969-2969 |
Euro dollar is a currency type of austria |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2997-2997 |
Euro dollar is a currency type of belgium |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3093-3093 |
Euro dollar is a currency type of cyprus |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3133-3133 |
Euro dollar is a currency type of estonia |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3145-3145 |
Euro dollar is a currency type of finland |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2893-2893 |
Euro dollar is a currency type of france |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2896-2896 |
Euro dollar is a currency type of germany |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3165-3165 |
Euro dollar is a currency type of greece |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3225-3225 |
Euro dollar is a currency type of ireland |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2899-2899 |
Euro dollar is a currency type of italy |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3269-3269 |
Euro dollar is a currency type of latvia |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3289-3289 |
Euro dollar is a currency type of lithuania |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3293-3293 |
Euro dollar is a currency type of luxembourg |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3317-3317 |
Euro dollar is a currency type of malta |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3101-3101 |
Euro dollar is a currency type of netherlands |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3413-3413 |
Euro dollar is a currency type of portugal |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3457-3457 |
Euro dollar is a currency type of slovakia |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3459-3459 |
Euro dollar is a currency type of slovenia |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3475-3475 |
Euro dollar is a currency type of spain |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22510-22510 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22509-22509 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22508-22508 |
|