not |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (not (instance SerbiaAndMontenegro IndependentState)))) |
Media.kif 2548-2552 | Posicao Temporal e' uma instancia de o dia 3 SerbiaAndMontenegro e' uma instancia de IndependentState vale durante apos Posicao Temporal |
appearance as argument number 0 |
![]() |
![]() |
![]() |