No TPTP formula. May not be expressible in strict first order. |
Government.kif 2900-2900 |
"Benelux" is an abbreviation of benelux economic union |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2899-2899 |
Benelux economic union is a conventional long name of "Benelux Economic Union" |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2903-2903 |
Belgium is a member of benelux economic union |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2905-2905 |
Luxembourg is a member of benelux economic union |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2904-2904 |
Netherlands is a member of benelux economic union |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10739-10739 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10738-10738 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10737-10737 |
|