| PacificIslandForum(pacific island forum)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3802-3802 | The day 5 is a date established of pacific island forum |
| 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 | Pacific island forum is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3803-3803 | Political cooperation is an organizational objective of pacific island forum |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3800-3800 | Pacific island forum is a conventional long name of "Pacific Island Forum" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3801-3801 | "South Pacific Forum" is a former name for pacific island forum |
| 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 |
|
|
|