| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3193-3193 |
?D 是 23 Day 的 instance 是 南极条约 的 agreement 生效日期 |
| 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. |
Government.kif 2801-2801 |
23 Day 是 南极条约理事会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2921-2921 |
25 Day 是 黑海经济合作区 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3014-3014 |
3 Day 是 阿拉伯经济统一委员会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3060-3060 |
6 Day 是 东非开发银行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3066-3066 |
26 Day 是 经济和社会理事会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3335-3335 |
22 Day 是 11人小组 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3361-3361 |
15 Day 是 77人小组 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3478-3478 |
13 Day 是 国际刑事警察组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3535-3535 |
六月 month 是 国际水文组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3542-3542 |
28 Day 是 国际劳工组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3575-3575 |
23 Day 是 国际奥林匹克委员会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3771-3771 |
18 Day 是 加勒比东部各州的组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3872-3872 |
26 Day 是 联合国 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3940-3940 |
26 Day 是 联合国大会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4040-4040 |
10 Day 是 联合国在科索沃的临时行政当局 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4169-4169 |
26 Day 是 联合国秘书处 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4180-4180 |
26 Day 是 联合国安理会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4244-4244 |
六月 month 是 联合国停战监督组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4257-4257 |
26 Day 是 联合国托管理事会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4326-4326 |
19 Day 是 世界劳工联合会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1665-1665 |
夏季 equal 从六月到八月再次发生所需的时间 |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2501-2504 |
Serbia 是 欧洲国家 的 instance 和 时间位置 是 5 day 的 instance 在 那个 时间位置 之后 holdsDuring |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2496-2499 |
Serbia 是 独立国家 的 instance 和 时间位置 是 5 day 的 instance 在 那个 时间位置 之后 holdsDuring |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
June