No TPTP formula. May not be expressible in strict first order. |
Government.kif 3197-3197 |
Monetary union is an organizational objective of european monetary union |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3256-3256 |
Monetary union is an organizational objective of european union |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3273-3273 |
Monetary union is an organizational objective of franc zone |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38349-38349 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38348-38348 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38347-38347 |
|