DayFn |
appearance as argument number 1 |
(documentation DayFn ChineseLanguage "这是一个 BinaryFunction, 它把一个 PositiveRealNumber 与一个 Month 的子类别,分配到每个 Month 内对应该 PositiveRealNumber 的 Day。例如: (DayFn 16 August) 是八月份所有第16日的 Class,又例如: (DayFn 9 Month)会得出任何一个月 的第九日。再一个例子:(DayFn 18(MonthFn August (YearFn 1912)))表示1912年八月十八日。") | chinese_format.kif 2760-2763 | |
(documentation DayFn EnglishLanguage "A BinaryFunction that assigns a PositiveRealNumber and a subclass of Months to the Days within each Month corresponding to that PositiveRealNumber. For example, (DayFn 16 August) is the Class of all sixteenth days of August. For another example, (DayFn 9 Month) would return the class of all ninth days of any month. For still another example, (DayFn 18 (MonthFn August (YearFn 1912))) denotes the 18th day of August 1912.") | Merge.kif 8628-8633 | |
(documentation DayFn JapaneseLanguage "BinaryFunction は、PositiveRealNumber と Month のサブクラスを、その PositiveRealNumber に対応する各 Month 内の Day に割り当てる。例えば、 (DayFn 16 August) は8月のすべての16日間の Class である。別の例として、(DayFn 9 Month) は、任意の月のすべての9日間のクラスを返す。さらに別の例については、 (DayFn 18(MonthFn August (YearFn 1912))) は1912年8月18日を示す。") | japanese_format.kif 1488-1492 | |
(domain DayFn 1 PositiveInteger) | Merge.kif 8624-8624 | O argumento numero 1 de DayFn e' uma instancia de Inteiro positivo |
(domainSubclass DayFn 2 Month) | Merge.kif 8625-8625 | O argumento numero 2 de DayFn e' uma sub-classe de Mes |
(instance DayFn BinaryFunction) | Merge.kif 8622-8622 | DayFn e' uma instancia de Funcao Binaria |
(instance DayFn PartialValuedRelation) | Merge.kif 8623-8623 | DayFn e' uma instancia de Relacao Parcial |
(instance DayFn TemporalRelation) | Merge.kif 8621-8621 | DayFn e' uma instancia de Relacao Temporal |
(rangeSubclass DayFn Day) | Merge.kif 8626-8626 | Os valores retornados por DayFn sao as sub-classes de Dia |
appearance as argument number 2 |
(format ChineseLanguage DayFn "%1 day ") | chinese_format.kif 469-469 | |
(format EnglishLanguage DayFn "the day %1") | english_format.kif 475-475 | |
(format FrenchLanguage DayFn "le jour %1") | french_format.kif 271-271 | |
(format ItalianLanguage DayFn "il giorno %1") | relations-it.txt 65-65 | |
(format JapaneseLanguage DayFn "%1 day 目") | japanese_format.kif 2061-2061 | |
(format PortugueseLanguage DayFn "o dia %1") | portuguese_format.kif 223-223 | |
(format cb DayFn "ang adlaw %1") | relations-cb.txt 99-99 | |
(format cz DayFn "%1 of %2") | relations-cz.txt 277-277 | |
(format de DayFn "der tag %1") | relations-de.txt 612-612 | |
(format hi DayFn "dina %1 hai") | relations-hindi.txt 106-106 | |
(format ro DayFn "day%t{ziua} %1") | relations-ro.kif 292-292 | |
(format sv DayFn "dagen %1") | relations-sv.txt 298-298 | |
(format tg DayFn "ang araw %1") | relations-tg.txt 146-146 | |
(relatedInternalConcept Day DayFn) | Merge.kif 9267-9267 | Dia e' relacionado internamente por SUMO a DayFn |
(termFormat ChineseLanguage DayFn "天") | domainEnglishFormat.kif 18660-18660 | |
(termFormat ChineseLanguage DayFn "日函数") | chinese_format.kif 470-470 | |
(termFormat ChineseTraditionalLanguage DayFn "天") | domainEnglishFormat.kif 18659-18659 | |
(termFormat EnglishLanguage DayFn "day") | domainEnglishFormat.kif 18658-18658 | |
(termFormat tg DayFn "tungkulin araw") | relations-tg.txt 147-147 |
antecedent |
consequent |
statement |