WesternEuropeanUnion(western european union) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4313-4313 | The day 23 is a date established of western european union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4310-4310 | Western european union is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4314-4314 | Mutual defense pact is an organizational objective of western european union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4315-4315 | Political integration is an organizational objective of western european union |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4312-4312 | "WEU" is an abbreviation of western european union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4311-4311 | Western european union is a conventional long name of "Western European Union" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62781-62781 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62780-62780 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62779-62779 |