June(六月) |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2506-2509 | Serbia 的名 是 "Republic of Serbia" 和 时间位置 是 5 day 的 instance 在 那个 时间位置 之后 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2528-2531 | 时间位置 是 3 day 的 instance 和 Montenegro 是 欧洲国家 的 instance 在 那个 时间位置 之后 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2523-2526 | 时间位置 是 3 day 的 instance 和 Montenegro 是 独立国家 的 instance 在 那个 时间位置 之后 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2533-2536 | 时间位置 是 3 day 的 instance 和 Montenegro 的名 是 "Montenegro" 在 那个 时间位置 之后 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2546-2550 | 时间位置 是 3 day 的 instance 和 塞尔维亚和黑山 不 是 独立国家 的 instance 在 那个 时间位置 之后 holdsDuring |