June |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2506-2509 | Serbia se chama nome "Republic of Serbia" Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2528-2531 | Posicao Temporal e' uma instancia de o dia 3 Montenegro e' uma instancia de EuropeanNation vale durante apos Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2523-2526 | Posicao Temporal e' uma instancia de o dia 3 Montenegro e' uma instancia de IndependentState vale durante apos Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2533-2536 | Posicao Temporal e' uma instancia de o dia 3 Montenegro se chama nome "Montenegro" vale durante apos Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2546-2550 | Posicao Temporal e' uma instancia de o dia 3 SerbiaAndMontenegro e' uma instancia de IndependentState vale durante apos Posicao Temporal |