ImmediatePastFn |
appearance as argument number 1 |
![]() |
(documentation ImmediatePastFn ChineseLanguage "这是一个 UnaryFunction, 它把一个 TimePosition 和紧接这个 TimePosition 之前的一个既短而又不确定的 TimeInterval。") | chinese_format.kif 2741-2742 | |
(documentation ImmediatePastFn EnglishLanguage "A UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately precedes the TimePosition.") | Merge.kif 8408-8410 | |
(domain ImmediatePastFn 1 TimePosition) | Merge.kif 8405-8405 | |
(instance ImmediatePastFn TemporalRelation) | Merge.kif 8402-8402 | |
(instance ImmediatePastFn TotalValuedRelation) | Merge.kif 8404-8404 | |
(instance ImmediatePastFn UnaryFunction) | Merge.kif 8403-8403 | |
(range ImmediatePastFn TimeInterval) | Merge.kif 8406-8406 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage ImmediatePastFn "紧接 %1 before") | chinese_format.kif 459-459 | |
(format EnglishLanguage ImmediatePastFn "immediately before %1") | english_format.kif 465-465 | |
(termFormat ChineseLanguage ImmediatePastFn "不久的过去") | domainEnglishFormat.kif 29352-29352 | |
(termFormat ChineseLanguage ImmediatePastFn "紧接过去函数") | chinese_format.kif 460-460 | |
(termFormat ChineseTraditionalLanguage ImmediatePastFn "不久的過去") | domainEnglishFormat.kif 29351-29351 | |
(termFormat EnglishLanguage ImmediatePastFn "immediate past") | domainEnglishFormat.kif 29350-29350 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |