|
|
  PacificIslandForum
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3766-3766 | 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 3763-3763 | PacificIslandForum est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3767-3767 | organizationalObjective PacificIslandForum and PoliticalCooperation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3764-3764 | conventionalLongName "Pacific Island Forum" and PacificIslandForum |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3765-3765 | formerName "South Pacific Forum" and PacificIslandForum |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43886-43886 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43885-43885 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43884-43884 |
|
|
|
