No TPTP formula. May not be expressible in strict first order. |
Government.kif 3792-3792 |
Pacific community is a conventional long name of "Pacific Community" |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3794-3794 |
"SPC" is a former name for pacific community |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3793-3793 |
"South Pacific Commission" is a former name for pacific community |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43866-43866 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43865-43865 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43864-43864 |
|