|
|
  PacificCommunity
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3795-3795 | dateEstablished PacificCommunity and o dia 6 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3791-3791 | PacificCommunity e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3796-3796 | organizationalObjective PacificCommunity and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3797-3797 | organizationalObjective PacificCommunity and SocialCooperation |
| appearance as argument number 2 |
|
|
| 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 |
|
|
|