| appearance as argument number 1 |
|
| (documentation YearFn ChineseLanguage "这是一个 UnaryFunction， 它把一个数字和对应的日历 Year 联系起来。例如：(YearFn 1912)会得出，1912年这个只有一个实例的 Class。正如所料的，正整数会得出公元 的年份，而负整数会得出 公元前的年份。注：这个函数得出一个 Class 作为它的值，原因是和它相关的函数，即 MonthFn、 DayFn、 HourFn、 MinuteFn 和 SecondFn 等，是用来得出特定的 TimeInterval 和重复发生的时段，而唯一的做法是把这些函数的领域和范围当成类别而不是个别的实例。") | chinese_format.kif 2749-2753 | |
| (documentation YearFn EnglishLanguage "A UnaryFunction that maps a number to the corresponding calendar Year. For example, (YearFn 1912) returns the Class containing just one instance, the year of 1912. As might be expected, positive integers return years in the Common Era, while negative integers return years in B.C.E. Note that this function returns a Class as a value. The reason for this is that the related functions, viz. MonthFn, DayFn, HourFn, MinuteFn, and SecondFn, are used to generate both specific TimeIntervals and recurrent intervals, and the only way to do this is to make the domains and ranges of these functions classes rather than individuals.") | Merge.kif 8671-8679 | |
| (documentation YearFn JapaneseLanguage "UnaryFunction は、数値を対応するカレンダー Year にマップする。 注：(YearFn 1912) は、１９１２年の１つのインスタンスだけを含む Class を返 す。予想どおり、正の整数は西暦紀元に年を返し、負の整数は紀元前に年を返す。この関数は値として Class を返す。 この理由は、関連する関数 viz である。MonthFn、DayFn、HourFn、MinuteFn、 および SecondFn は、特定の TimeInterval と反復間隔の両方を生成するために使用され、これを行う 唯一の方法は、個々別々ではなく、これらの関数クラスのドメインと範囲を作成することである。") | japanese_format.kif 1475-1480 | |
| (domain YearFn 1 Integer) | Merge.kif 8668-8668 | Le nombre 1 argument de YearFn est une instance de nombre entier |
| (instance YearFn TemporalRelation) | Merge.kif 8665-8665 | YearFn est une instance de relation temporel |
| (instance YearFn TotalValuedRelation) | Merge.kif 8667-8667 | YearFn est une instance de relation total |
| (instance YearFn UnaryFunction) | Merge.kif 8666-8666 | YearFn est une instance de function unaire |
| (rangeSubclass YearFn Year) | Merge.kif 8669-8669 | Les valeurs retourn�es par YearFn sont des sous-classes de ann�e |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage YearFn "%1 year") | chinese_format.kif 465-465 | |
| (format EnglishLanguage YearFn "the year %1") | english_format.kif 471-471 | |
| (format FrenchLanguage YearFn "l' ann�e %1") | french_format.kif 269-269 | |
| (format ItalianLanguage YearFn "l' anno %1") | relations-it.txt 317-317 | |
| (format JapaneseLanguage YearFn "%1 year 目") | japanese_format.kif 2059-2059 | |
| (format PortugueseLanguage YearFn "o ano %1") | portuguese_format.kif 221-221 | |
| (format cz YearFn "%1 of %2") | relations-cz.txt 275-275 | |
| (format de YearFn "das jahr %1") | relations-de.txt 608-608 | |
| (format hi YearFn "varshha %1") | relations-hindi.txt 351-351 | |
| (format ro YearFn "year%t{anul} %1") | relations-ro.kif 290-290 | |
| (format sv YearFn "året %1") | relations-sv.txt 296-296 | |
| (format tg YearFn "ang taon %1") | relations-tg.txt 509-509 | |
| (relatedInternalConcept Year YearFn) | Merge.kif 8852-8852 | Ann�e est reli� � l'int�rieur de SUMO � YearFn |
| (termFormat ChineseLanguage YearFn "年") | domainEnglishFormat.kif 63751-63751 | Ann�e est reli� � l'int�rieur de SUMO � YearFn |
| (termFormat ChineseLanguage YearFn "年函数") | chinese_format.kif 466-466 | Ann�e est reli� � l'int�rieur de SUMO � YearFn |
| (termFormat ChineseTraditionalLanguage YearFn "年") | domainEnglishFormat.kif 63750-63750 | Ann�e est reli� � l'int�rieur de SUMO � YearFn |
| (termFormat EnglishLanguage YearFn "year") | domainEnglishFormat.kif 63749-63749 | Ann�e est reli� � l'int�rieur de SUMO � YearFn |
| (termFormat de YearFn "JahrFn") | terms-de.txt 188-188 | Ann�e est reli� � l'int�rieur de SUMO � YearFn |
| antecedent |
|
|
| consequent |
|
|
| statement |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners