|
|
  PacificIslandForum
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3802-3802 | dateEstablished PacificIslandForum and le jour 5 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8636-8636 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9516-9516 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3799-3799 | PacificIslandForum est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3803-3803 | organizationalObjective PacificIslandForum and PoliticalCooperation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3800-3800 | conventionalLongName "Pacific Island Forum" and PacificIslandForum |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3801-3801 | formerName "South Pacific Forum" and PacificIslandForum |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43884-43884 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43883-43883 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43882-43882 |
|
|
|
