No TPTP formula. May not be expressible in strict first order. |
Government.kif 2750-2750 |
6 Day 是 非洲加勒比和太平洋国家集团 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9871-9871 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10356-10356 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10357-10357 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10358-10358 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10359-10359 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10360-10360 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10361-10361 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2747-2747 |
非洲加勒比和太平洋国家集团 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2751-2751 |
经济合作 是 非洲加勒比和太平洋国家集团 的 organizational 目标 |