MonetaryUnion
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2660-2660 | MonetaryUnion e' um sub-atributo de FinancialCooperation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3197-3197 | organizationalObjective EuropeanMonetaryUnion and MonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3256-3256 | organizationalObjective EuropeanUnion and MonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3273-3273 | organizationalObjective FrancZone and MonetaryUnion |
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 |