June(June) |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2506-2509 | Serbia has name "Republic of Serbia" and a time position is an instance of the day 5 holds during after the time position |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2528-2531 | A time position is an instance of the day 3 and Montenegro is an instance of european nation holds during after the time position |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2523-2526 | A time position is an instance of the day 3 and Montenegro is an instance of independent state holds during after the time position |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2533-2536 | A time position is an instance of the day 3 and Montenegro has name "Montenegro" holds during after the time position |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2546-2550 | A time position is an instance of the day 3 and serbia and montenegro is not an instance of independent state holds during after the time position |