not |
appearance as argument number 2 |
(termFormat ChineseLanguage not "不") | domainEnglishFormat.kif 41283-41283 | |
(termFormat ChineseTraditionalLanguage not "不") | domainEnglishFormat.kif 41282-41282 | |
(termFormat EnglishLanguage not "not") | domainEnglishFormat.kif 41281-41281 |
antecedent |
consequent |
statement |
(holdsDuring (FutureFn ?TIME) (and (instance ?TIME (DayFn 3 (MonthFn June (YearFn 2006)))) (not (instance SerbiaAndMontenegro IndependentState)))) |
Media.kif 2546-2550 | 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 |