duration |
appearance as argument number 1 |
(documentation duration ChineseLanguage "(duration ?POS ?TIME)的意思是 TimePosition ?POS 的长短是 ?TIME。注;这个 Predicate 可以和 Function WhenFn 一起使用来指定任何 Physical 的 持续时间。") | chinese_format.kif 2688-2690 | |
(documentation duration EnglishLanguage "(duration ?POS ?TIME) means that the duration of the TimeInterval ?POS is ?TIME. Note that this Predicate can be used in conjunction with the Function WhenFn to specify the duration of any instance of Physical.") | Merge.kif 7905-7908 | |
(documentation duration JapaneseLanguage "(duration ?POS ?TIME) とは、TimePosition ?POS の持続時間が ?TIME という意味である。 注:この Predicate は、Function WhenFn と組み合わせ て使用し、Predicate の任意のインスタンスの継続時間を指定できる。") | japanese_format.kif 1411-1413 | |
(domain duration 1 TimeInterval) | Merge.kif 7902-7902 | O argumento numero 1 de duration e' uma instancia de Intervalo Temporal |
(domain duration 2 TimeDuration) | Merge.kif 7903-7903 | O argumento numero 2 de duration e' uma instancia de Duracao Temporal |
(instance duration BinaryPredicate) | Merge.kif 7900-7900 | duration e' uma instancia de Predicado Binario |
(instance duration TotalValuedRelation) | Merge.kif 7901-7901 | duration e' uma instancia de Relacao Total |
appearance as argument number 2 |
(format ChineseLanguage duration "%1 的 duration %n 是 %2") | chinese_format.kif 413-413 | |
(format EnglishLanguage duration "duration of %1 is %n %2") | english_format.kif 419-419 | |
(format FrenchLanguage duration "la dur�� de %1 est %n %2") | french_format.kif 241-241 | |
(format ItalianLanguage duration "durata di %1 è %n %2") | relations-it.txt 85-85 | |
(format JapaneseLanguage duration "%1 の duration は %2 では %n") | japanese_format.kif 2035-2035 | |
(format PortugueseLanguage duration "a duracao de %1 e' %n %2") | portuguese_format.kif 193-193 | |
(format cb duration " kadugay %1 %n ay %2") | relations-cb.txt 119-119 | |
(format cz duration "duration of %1 %p{je} %n{nen�} %2") | relations-cz.txt 246-246 | |
(format de duration "dauer von %1 ist %2 %n{nicht}") | relations-de.txt 536-536 | |
(format hi duration "%1 kii avadhi %2 %n hai") | relations-hindi.txt 125-125 | |
(format ro duration "duration%t{durata} lui %1 %n{nu} este %2") | relations-ro.kif 262-262 | |
(format sv duration "varaktigheten av %1 är %n{inte} %2") | relations-sv.txt 261-261 | |
(format tg duration "ang tagal ng %1 %n ay %2") | relations-tg.txt 185-185 | |
(termFormat ChineseLanguage duration "持续时间") | domainEnglishFormat.kif 20688-20688 | |
(termFormat ChineseLanguage duration "时段") | chinese_format.kif 414-414 | |
(termFormat ChineseTraditionalLanguage duration "持續時間") | domainEnglishFormat.kif 20687-20687 | |
(termFormat EnglishLanguage duration "duration") | domainEnglishFormat.kif 20686-20686 | |
(termFormat tg duration "tagal") | relations-tg.txt 186-186 |
antecedent |
consequent |