No TPTP formula. May not be expressible in strict first order. |
Government.kif 3792-3792 |
conventionalLongName "Pacific Community" and PacificCommunity |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3794-3794 |
formerName "SPC" and PacificCommunity |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3793-3793 |
formerName "South Pacific Commission" and PacificCommunity |
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 |
|