| EuropeanUnion(european union)
| | Common_Market, EC, EEC, EU, Europe, European_Community, European_Economic_Community, European_Union |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3254-3254 | The day 7 is a date established of european union |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 419-419 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3251-3251 | European union is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3255-3255 | Economic integration is an organizational objective of european union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3259-3259 | Military cooperation is an organizational objective of european 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 3257-3257 | Political cooperation is an organizational objective of european union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3258-3258 | Social cooperation is an organizational objective of european union |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3253-3253 | "EU" is an abbreviation of european union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3252-3252 | European union is a conventional long name of "European Union" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3260-3260 | European union is a successor organization of european community |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22600-22600 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22599-22599 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22598-22598 |
|
|
|