not |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (not (instance SerbiaAndMontenegro IndependentState)))) |
Media.kif 2548-2552 | Position temporel est une instance de le jour 3 SerbiaAndMontenegro est une instance de IndependentState pendant apr�s position temporel |
appearance as argument number 0 |
![]() |
![]() |
![]() |