ImmediateFutureFn |
appearance as argument number 1 |
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 | |
(format FrenchLanguage ImmediateFutureFn "immediatement apr�s %1") | french_format.kif 268-268 | |
(format ItalianLanguage ImmediateFutureFn "immediatamente dopo %1") | relations-it.txt 137-137 | |
(format JapaneseLanguage ImmediateFutureFn "%1 の すぐ after") | japanese_format.kif 2058-2058 | |
(format PortugueseLanguage ImmediateFutureFn "imediatemente apos %1") | portuguese_format.kif 220-220 | |
(format cz ImmediateFutureFn "pr�v� po %1'") | relations-cz.txt 274-274 | |
(format de ImmediateFutureFn "sofort nach %1") | relations-de.txt 605-605 | |
(format hi ImmediateFutureFn "%1 ke tatkaala baada") | relations-hindi.txt 176-176 | |
(format ro ImmediateFutureFn "imediat after%t{dupã} %1") | relations-ro.kif 289-289 | |
(format sv ImmediateFutureFn "omedelbart efter %1") | relations-sv.txt 295-295 | |
(format tg ImmediateFutureFn "pagkatopos ng agad sa %1") | relations-tg.txt 278-278 | |
(termFormat ChineseLanguage ImmediateFutureFn "眼前的未来") | domainEnglishFormat.kif 29349-29349 | |
(termFormat ChineseLanguage ImmediateFutureFn "紧接未来函数") | chinese_format.kif 464-464 | |
(termFormat ChineseTraditionalLanguage ImmediateFutureFn "眼前的未來") | domainEnglishFormat.kif 29348-29348 | |
(termFormat EnglishLanguage ImmediateFutureFn "immediate future") | domainEnglishFormat.kif 29347-29347 | |
(termFormat tg ImmediateFutureFn "tungkulin ng pagkatopos ng agad") | relations-tg.txt 279-279 |
antecedent |
consequent |
statement |
(holdsDuring (ImmediateFutureFn ?T) (and (instance ?T (DayFn 1 (MonthFn October (YearFn 1992)))) (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations))) |
Government.kif 2755-2758 | A time position is an instance of the day 1 and andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the time position |
(holdsDuring (ImmediateFutureFn ?TIME) (and (instance ?TIME (YearFn 1996)) (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity))) |
Government.kif 2729-2733 | A time position is an instance of the year 1996 and agency for the french speaking community is a conventional long name of "Agency for the French-Speaking Community" holds during immediately after the time position |