No TPTP formula. May not be expressible in strict first order. |
Government.kif 2857-2857 |
7 Day 是 亚太经济合作 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5870-5870 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6134-6134 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6129-6129 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6130-6130 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2854-2854 |
亚太经济合作 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2858-2858 |
促进贸易和投资 是 亚太经济合作 的 organizational 目标 |