ImmediateFutureFn |
appearance as argument number 1 |
![]() |
(documentation ImmediateFutureFn ChineseLanguage "这是一个 UnaryFunction, 它把一个 TimePosition 和紧随这个 TimePosition 的一个既短而又不确定的 TimeInterval。") | chinese_format.kif 2745-2746 | |
(documentation ImmediateFutureFn EnglishLanguage "A UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately follows the TimePosition.") | Merge.kif 8433-8435 | |
(domain ImmediateFutureFn 1 TimePosition) | Merge.kif 8430-8430 | 紧接未来函数 的 1 数量 是 时间位置 的 instance |
(instance ImmediateFutureFn TemporalRelation) | Merge.kif 8427-8427 | 紧接未来函数 是 时间关系 的 instance |
(instance ImmediateFutureFn TotalValuedRelation) | Merge.kif 8429-8429 | 紧接未来函数 是 总值关系 的 instance |
(instance ImmediateFutureFn UnaryFunction) | Merge.kif 8428-8428 | 紧接未来函数 是 一元函数 的 instance |
(range ImmediateFutureFn TimeInterval) | Merge.kif 8431-8431 | 紧接未来函数 的 range 是 时距 的实例 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage ImmediateFutureFn "紧接 %1 after") | chinese_format.kif 463-463 | |
(format EnglishLanguage ImmediateFutureFn "immediately after %1") | english_format.kif 469-469 | |
(termFormat ChineseLanguage ImmediateFutureFn "眼前的未来") | domainEnglishFormat.kif 29340-29340 | |
(termFormat ChineseLanguage ImmediateFutureFn "紧接未来函数") | chinese_format.kif 464-464 | |
(termFormat ChineseTraditionalLanguage ImmediateFutureFn "眼前的未來") | domainEnglishFormat.kif 29339-29339 | |
(termFormat EnglishLanguage ImmediateFutureFn "immediate future") | domainEnglishFormat.kif 29338-29338 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(holdsDuring (ImmediateFutureFn (YearFn 1996)) (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity)) |
Government.kif 2750-2750 | 法语社区的代理机构 是 "Agency for the French-Speaking Community" 的 conventional 全名 在 紧接 1996 year after holdsDuring |
(holdsDuring (ImmediateFutureFn ?T) (and (instance ?T (DayFn 1 (MonthFn October (YearFn 1992)))) (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations))) |
Government.kif 2771-2774 | 时间位置 是 1 day 的 instance 和 安第斯国际社会 是 "Andean Community of Nations" 的 conventional 全名 在 紧接 那个 时间位置 after holdsDuring |
![]() |
![]() |