PacificIslandForum
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3802-3802 | 5 Day 是 太平洋岛屿论坛 的成立 date |
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 | 太平洋岛屿论坛 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3803-3803 | 政治合作 是 太平洋岛屿论坛 的 organizational 目标 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3800-3800 | 太平洋岛屿论坛 是 "Pacific Island Forum" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3801-3801 | "South Pacific Forum" 是对于 太平洋岛屿论坛 的 former name |
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 |