| appearance as argument number 1 |
|
| (documentation MonthFn ChineseLanguage "这是一个 BinaryFunction，它把 Month 的子类别与 Year 的子类别和该 Year 对应 Month 的类别联系起来。例如：(MonthFn August (YearFn 1912)) 是包含第八个 Month 的类别，即是1912 Year 的八月。另一个例子是(MonthFn August Year)等于 August，这是所有八月的类别。注：这个函数得出一个 Class 作为它的值，原因是和它相关的函数，即 MonthFn、 DayFn、 HourFn、 MinuteFn 和 SecondFn 等，是用来得出特定的 TimeInterval 和重复发生的时段，而唯一的做法是把这些函数的领域和范围当成类别而不是个别的实例。") | chinese_format.kif 2754-2759 | |
| (documentation MonthFn EnglishLanguage "A BinaryFunction that maps a subclass of Month and a subclass of Year to the class containing the Month corresponding to that Year. For example (MonthFn August (YearFn 1912)) is the class containing the eighth Month, i.e. August, of the Year 1912. For another example, (MonthFn August Year) is equal to August, the class of all months of August. Note that this function returns a Class as a value. The reason for this is that the related functions, viz. 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 7911-7919 | |
| (domainSubclass MonthFn 1 Month) | Merge.kif 7907-7907 | domainSubclass MonthFn, 1 and Month |
| (domainSubclass MonthFn 2 Year) | Merge.kif 7908-7908 | domainSubclass MonthFn, 2 and Year |
| (instance MonthFn BinaryFunction) | Merge.kif 7905-7905 | instance MonthFn and BinaryFunction |
| (instance MonthFn PartialValuedRelation) | Merge.kif 7906-7906 | instance MonthFn and PartialValuedRelation |
| (instance MonthFn TemporalRelation) | Merge.kif 7904-7904 | instance MonthFn and TemporalRelation |
| (rangeSubclass MonthFn Month) | Merge.kif 7909-7909 | rangeSubclass MonthFn and Month |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage MonthFn "%1 month") | chinese_format.kif 467-467 | |
| (format EnglishLanguage MonthFn "the month %1") | english_format.kif 476-476 | |
| (relatedInternalConcept Month MonthFn) | Merge.kif 8362-8362 | relatedInternalConcept Month and MonthFn |
| (termFormat ChineseLanguage MonthFn "月") | domainEnglishFormat.kif 38407-38407 | termFormat ChineseLanguage, MonthFn and "月" |
| (termFormat ChineseLanguage MonthFn "月函数") | chinese_format.kif 468-468 | termFormat ChineseLanguage, MonthFn and "月函数" |
| (termFormat ChineseTraditionalLanguage MonthFn "月") | domainEnglishFormat.kif 38406-38406 | termFormat ChineseTraditionalLanguage, MonthFn and "月" |
| (termFormat EnglishLanguage MonthFn "month") | domainEnglishFormat.kif 38405-38405 | termFormat EnglishLanguage, MonthFn and "month" |
| antecedent |
|
|
| consequent |
|
|
| (=> (and (commemoratesDate ?HOLIDAY (DayFn ?DAY (MonthFn ?MONTH (YearFn ?YEAR)))) (instance ?DATE ?HOLIDAY) (subclass ?HOLIDAY FixedHoliday) (lessThanOrEqualTo ?YEAR ?LATER-YEAR)) (instance ?DATE (DayFn ?DAY (MonthFn ?MONTH (YearFn ?LATER-YEAR))))) |
Government.kif 606-612 |
|
| 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners