No TPTP formula. May not be expressible in strict first order. |
Government.kif 3756-3756 |
conventionalLongName "Pacific Community" and PacificCommunity |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3758-3758 |
formerName "SPC" and PacificCommunity |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3757-3757 |
formerName "South Pacific Commission" and PacificCommunity |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43868-43868 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43867-43867 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43866-43866 |
|