| 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 8078-8083 | |
| (domain DayFn 1 PositiveInteger) | Merge.kif 8074-8074 | 日函数 的 1 数量 是 正整数 的 instance |
| (domainSubclass DayFn 2 Month) | Merge.kif 8075-8075 | 日函数 的 2 数量 是 月 的 subclass |
| (instance DayFn BinaryFunction) | Merge.kif 8072-8072 | 日函数 是 二元函数 的 instance |
| (instance DayFn PartialValuedRelation) | Merge.kif 8073-8073 | 日函数 是 部分值关系 的 instance |
| (instance DayFn TemporalRelation) | Merge.kif 8071-8071 | 日函数 是 时间关系 的 instance |
| (rangeSubclass DayFn Day) | Merge.kif 8076-8076 | 日函数 的所得值 是 日 的 subclass |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage DayFn "%1 day ") | chinese_format.kif 469-469 | |
| (format EnglishLanguage DayFn "the day %1") | english_format.kif 478-478 | |
| (relatedInternalConcept Day DayFn) | Merge.kif 8701-8701 | 日 和 日函数 是 内部相关 |
| (termFormat ChineseLanguage DayFn "天") | domainEnglishFormat.kif 18658-18658 | |
| (termFormat ChineseLanguage DayFn "日函数") | chinese_format.kif 470-470 | |
| (termFormat ChineseTraditionalLanguage DayFn "天") | domainEnglishFormat.kif 18657-18657 | |
| (termFormat EnglishLanguage DayFn "day") | domainEnglishFormat.kif 18656-18656 |
| antecedent |
|
|
| (=> (and (commemoratesDate ?HOLIDAY (DayFn ?DAY (MonthFn ?MONTH (YearFn ?YEAR)))) (instance ?DATE ?HOLIDAY) (instance ?ANYO (YearFn ?YEAR))) (not (earlier ?DATE ?ANYO))) |
Government.kif 599-604 | |
| (=> (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 | |
| (=> (and (instance ?D1 (DayFn ?N1 (MonthFn ?M (YearFn ?Y)))) (instance ?D2 (DayFn ?N2 (MonthFn ?M (YearFn ?Y)))) (equal ?T1 (BeginFn ?D1)) (equal ?T2 (BeginFn ?D2)) (greaterThan ?N2 ?N1)) (before ?T1 ?T2)) |
Merge.kif 8208-8215 | |
| (=> (and (instance ?D1 (DayFn ?N1 (MonthFn ?M (YearFn ?Y)))) (instance ?D2 (DayFn ?N2 (MonthFn ?M (YearFn ?Y)))) (greaterThan ?N2 ?N1)) (earlier ?D1 ?D2)) |
Merge.kif 8217-8222 | |
| (=> (and (instance ?DAY1 (DayFn ?NUMBER1 ?MONTH)) (instance ?DAY2 (DayFn ?NUMBER2 ?MONTH)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 8089-8094 | |
| (=> (instance ?DAY (DayFn ?NUMBER ?MONTH)) (lessThanOrEqualTo ?NUMBER 31)) |
Merge.kif 8085-8087 |
| 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 3.0 is open source software produced by Articulate Software and its partners