| 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 8625-8633 | |
| (documentation MonthFn JapaneseLanguage "BinaryFunction は、%Month のサブクラスと Year のサブクラスを、その Year に対応する Month を含むクラスにマップする。 例えば (MonthFn August (YearFn 1912))は、第８ Month、すなわち Year １９１２の８月である。 別の例では、 (MonthFn August Year) は8月のすべての月のクラスである August に等しい。 注：この関数は 値として Class を返す。この理由は、関連する関数 viz である。DayFn、HourFn、MinuteFn、および SecondFnは、特定の TimeInterval と繰り返し間隔の両方を生成するために使用され、これを行う唯一の 方法は、個々別々ではなく、これらの関数クラスのドメインと範囲を作ることである。") | japanese_format.kif 1481-1487 | |
| (domainSubclass MonthFn 1 Month) | Merge.kif 8621-8621 | |
| (domainSubclass MonthFn 2 Year) | Merge.kif 8622-8622 | |
| (instance MonthFn BinaryFunction) | Merge.kif 8619-8619 | |
| (instance MonthFn PartialValuedRelation) | Merge.kif 8620-8620 | |
| (instance MonthFn TemporalRelation) | Merge.kif 8618-8618 | |
| (rangeSubclass MonthFn Month) | Merge.kif 8623-8623 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage MonthFn "%1 month") | chinese_format.kif 467-467 | |
| (format EnglishLanguage MonthFn "the month %1") | english_format.kif 473-473 | |
| (format FrenchLanguage MonthFn "le moi %1") | french_format.kif 270-270 | |
| (format ItalianLanguage MonthFn "il mese %1") | relations-it.txt 194-194 | |
| (format JapaneseLanguage MonthFn "%1 month 目") | japanese_format.kif 2060-2060 | |
| (format PortugueseLanguage MonthFn "o mes %1") | portuguese_format.kif 222-222 | |
| (format cz MonthFn "%1 of %2") | relations-cz.txt 276-276 | |
| (format de MonthFn "der monat %1") | relations-de.txt 610-610 | |
| (format hi MonthFn "%1 kaa mahiinaa") | relations-hindi.txt 232-232 | |
| (format ro MonthFn "month%t{luna} %1") | relations-ro.kif 291-291 | |
| (format sv MonthFn "månaden %1") | relations-sv.txt 297-297 | |
| (format tg MonthFn "ang buwan %1") | relations-tg.txt 373-373 | |
| (relatedInternalConcept Month MonthFn) | Merge.kif 9094-9094 | |
| (termFormat ChineseLanguage MonthFn "月") | domainEnglishFormat.kif 38518-38518 | |
| (termFormat ChineseLanguage MonthFn "月函数") | chinese_format.kif 468-468 | |
| (termFormat ChineseTraditionalLanguage MonthFn "月") | domainEnglishFormat.kif 38517-38517 | |
| (termFormat EnglishLanguage MonthFn "month") | domainEnglishFormat.kif 38516-38516 | |
| (termFormat tg MonthFn "tungkulin ng buwan") | relations-tg.txt 374-374 |
| antecedent |
|
|
| (=> (and (birthdate ?A ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (birthday ?A ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y)))) |
Mid-level-ontology.kif 24556-24566 | |
| (=> (and (commemoratesDate ?HOLIDAY (DayFn ?DAY (MonthFn ?MONTH (YearFn ?YEAR)))) (instance ?DATE ?HOLIDAY) (instance ?ANYO (YearFn ?YEAR))) (not (earlier ?DATE ?ANYO))) |
Government.kif 576-581 | |
| (=> (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 583-589 | |
| (=> (and (holdsDuring ?T (attribute ?F Menopausal)) (birthdate ?F ?B) (instance ?B (DayFn ?D (MonthFn ?M (YearFn ?Y)))) (equal ?A1 (AdditionFn 49 ?Y)) (equal ?A2 (AdditionFn 52 ?Y)) (equal ?START (BeginFn ?T))) (modalAttribute (and (greaterThan ?START ?A1) (greaterThan ?A2 ?START)) Likely)) |
Mid-level-ontology.kif 24236-24252 | |
| (=> (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 8772-8779 | |
| (=> (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 8781-8786 | |
| (=> (and (instance ?D2 (DayFn ?N2 (MonthFn ?M (YearFn ?Y)))) (temporalPart ?D1 (WeekBeforeFn ?D2)) (temporalPart ?D2 (WeekAfterFn ?D1))) (exists (?N1) (and (instance ?D1 (DayFn ?N1 (MonthFn ?M (YearFn ?Y)))) (equal ?N1 (SubtractionFn ?N2 7))))) |
Mid-level-ontology.kif 15087-15096 | |
| (=> (and (instance ?M1 (MonthFn ?N1 (YearFn ?Y))) (instance ?M2 (MonthFn ?N2 (YearFn ?Y))) (equal ?T1 (BeginFn ?M1)) (equal ?T2 (BeginFn ?M2)) (successorClass ?N1 ?N2)) (before ?T1 ?T2)) |
Merge.kif 8756-8763 | |
| (=> (and (instance ?M1 (MonthFn ?N1 (YearFn ?Y))) (instance ?M2 (MonthFn ?N2 (YearFn ?Y))) (successorClass ?N1 ?N2)) (earlier ?M1 ?M2)) |
Merge.kif 8765-8770 | |
| (=> (and (instance ?MIT BarMitzvah) (patient ?MIT ?X) (instance ?X Boy) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13))))) |
Biography.kif 69-85 | |
| (=> (and (instance ?MIT BatMitzvah) (patient ?MIT ?X) (instance ?X Girl) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13))))) |
Biography.kif 99-115 | |
| (=> (and (instance ?MONTH (MonthFn February ?YEAR)) (instance ?Y ?YEAR) (instance ?Y LeapYear)) (duration ?MONTH (MeasureFn 29 DayDuration))) |
Merge.kif 9123-9128 | |
| (=> (and (instance ?MONTH (MonthFn February ?YEAR)) (instance ?Y ?YEAR) (not (instance ?Y LeapYear))) (duration ?MONTH (MeasureFn 28 DayDuration))) |
Merge.kif 9116-9121 | |
| (=> (and (instance ?MONTH1 (MonthFn April ?YEAR)) (instance ?MONTH2 (MonthFn May ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9158-9162 | |
| (=> (and (instance ?MONTH1 (MonthFn August ?YEAR)) (instance ?MONTH2 (MonthFn September ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9214-9218 | |
| (=> (and (instance ?MONTH1 (MonthFn December ?YEAR1)) (instance ?MONTH2 (MonthFn January ?YEAR2)) (instance ?Y1 ?YEAR1) (instance ?Y2 ?YEAR2) (meetsTemporally ?Y1 ?Y2)) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9271-9278 | |
| (=> (and (instance ?MONTH1 (MonthFn February ?YEAR)) (instance ?MONTH2 (MonthFn March ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9130-9134 | |
| (=> (and (instance ?MONTH1 (MonthFn January ?YEAR)) (instance ?MONTH2 (MonthFn February ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9106-9110 | |
| (=> (and (instance ?MONTH1 (MonthFn July ?YEAR)) (instance ?MONTH2 (MonthFn August ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9200-9204 | |
| (=> (and (instance ?MONTH1 (MonthFn June ?YEAR)) (instance ?MONTH2 (MonthFn July ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9186-9190 | |
| (=> (and (instance ?MONTH1 (MonthFn March ?YEAR)) (instance ?MONTH2 (MonthFn April ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9144-9148 | |
| (=> (and (instance ?MONTH1 (MonthFn May ?YEAR)) (instance ?MONTH2 (MonthFn June ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9172-9176 | |
| (=> (and (instance ?MONTH1 (MonthFn November ?YEAR)) (instance ?MONTH2 (MonthFn December ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9257-9261 | |
| (=> (and (instance ?MONTH1 (MonthFn October ?YEAR)) (instance ?MONTH2 (MonthFn November ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9243-9247 | |
| (=> (and (instance ?MONTH1 (MonthFn September ?YEAR)) (instance ?MONTH2 (MonthFn October ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9229-9233 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (=> (and (birthdate ?A ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (birthday ?A ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y)))) |
Mid-level-ontology.kif 24556-24566 | |
| (=> (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 583-589 | |
| (=> (and (instance ?D2 (DayFn ?N2 (MonthFn ?M (YearFn ?Y)))) (temporalPart ?D1 (WeekBeforeFn ?D2)) (temporalPart ?D2 (WeekAfterFn ?D1))) (exists (?N1) (and (instance ?D1 (DayFn ?N1 (MonthFn ?M (YearFn ?Y)))) (equal ?N1 (SubtractionFn ?N2 7))))) |
Mid-level-ontology.kif 15087-15096 | |
| (=> (and (instance ?MIT BarMitzvah) (patient ?MIT ?X) (instance ?X Boy) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13))))) |
Biography.kif 69-85 | |
| (=> (and (instance ?MIT BatMitzvah) (patient ?MIT ?X) (instance ?X Girl) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13))))) |
Biography.kif 99-115 | |
| (=> (and (instance ?WED Wedding) (date ?WED ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (weddingAnniversary ?WED ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y)))) |
Mid-level-ontology.kif 24515-24526 | |
| (=> (holdsDuring ?T (and (instance ?D DeltaCovidVariant) (part ?D ?H) (attribute ?H Covid19))) (greaterThan ?T (MonthFn December (YearFn 2020)))) |
Medicine.kif 3003-3011 |
| 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