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 | |
(instance ImmediateFutureFn TemporalRelation) | Merge.kif 8427-8427 | |
(instance ImmediateFutureFn TotalValuedRelation) | Merge.kif 8429-8429 | |
(instance ImmediateFutureFn UnaryFunction) | Merge.kif 8428-8428 | |
(range ImmediateFutureFn TimeInterval) | Merge.kif 8431-8431 |
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 | |
(holdsDuring (ImmediateFutureFn ?T) (and (instance ?T (DayFn 1 (MonthFn October (YearFn 1992)))) (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations))) |
Government.kif 2771-2774 |
![]() |
![]() |