MonthFn - Sigma Knowledge base Browser

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 8710-8718
(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 8706-8706	The number 1 argument of MonthFn is a subclass of month
(domainSubclass MonthFn 2 Year)	Merge.kif 8707-8707	The number 2 argument of MonthFn is a subclass of year
(instance MonthFn BinaryFunction)	Merge.kif 8704-8704	MonthFn is an instance of binary function
(instance MonthFn PartialValuedRelation)	Merge.kif 8705-8705	MonthFn is an instance of partial valued relation
(instance MonthFn TemporalRelation)	Merge.kif 8703-8703	MonthFn is an instance of temporal relation
(rangeSubclass MonthFn Month)	Merge.kif 8708-8708	The values returned by MonthFn are subclasses of 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 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 9179-9179	Month is internally related to MonthFn
(termFormat ChineseLanguage MonthFn "月")	domainEnglishFormat.kif 38497-38497	Month is internally related to MonthFn
(termFormat ChineseLanguage MonthFn "月函数")	chinese_format.kif 468-468	Month is internally related to MonthFn
(termFormat ChineseTraditionalLanguage MonthFn "月")	domainEnglishFormat.kif 38496-38496	Month is internally related to MonthFn
(termFormat EnglishLanguage MonthFn "month")	domainEnglishFormat.kif 38495-38495	Month is internally related to MonthFn
(termFormat de MonthFn "MonatFn")	terms-de.txt 189-189	Month is internally related to MonthFn
(termFormat tg MonthFn "tungkulin ng buwan")	relations-tg.txt 374-374	Month is internally related to MonthFn

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 25874-25884	If birthdate a human and a day and the day is an instance of the day a positive integer of month the month a kind of month, then there exist another kind of day and an integer such that birthday the human and another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and equal the other kind of day and the day the positive integer of month the month a kind of month and the integer is greater than another integer
(=> (and (commemoratesDate ?HOLIDAY (DayFn ?DAY (MonthFn ?MONTH (YearFn ?YEAR)))) (instance ?DATE ?HOLIDAY) (instance ?ANYO (YearFn ?YEAR))) (not (earlier ?DATE ?ANYO)))	Government.kif 576-581	If commemoratesDate a kind of Holiday and the day a positive integer of month the month a kind of month and a time interval is an instance of a kind of Holiday and another time interval is an instance of the year an integer, then the time interval doesn't happen earlier than the other time interval
(=> (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	If commemoratesDate a kind of Holiday and the day a positive integer of month the month a kind of month and an entity is an instance of a kind of Holiday and the kind of Holiday is a subclass of FixedHoliday and an integer is less than or equal to another entity_YEAR, then the entity is an instance of the day the positive integer of month the month a kind of month
(=> (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 25553-25569	If Menopausal is an attribute of a human holds during a time interval and birthdate the human and a day and the day is an instance of the day a positive integer of month the month a kind of month and equal a real number and (49 and an integer) and equal another real number and (52 and the integer) and equal a time point and the beginning of the time interval, then the statement the time point is greater than the real number and the other real number is greater than the time point has the modal force of Likely
(=> (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 8857-8864	If a time interval is an instance of the day a positive integer of month the month a kind of month and another time interval is an instance of the day another positive integer of month the month a kind of month and equal a time point and the beginning of the time interval and equal another time point and the beginning of the other time interval and the other positive integer is greater than the positive integer, then the time point happens before the other time point
(=> (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 8866-8871	If a time interval is an instance of the day a positive integer of month the month a kind of month and another time interval is an instance of the day another positive integer of month the month a kind of month and the other positive integer is greater than the positive integer, then the time interval happens earlier than the other time interval
(=> (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 16199-16208	If a time position is an instance of the day a positive integer of month the month a kind of month and another time position is a part of WeekBeforeFn the time position and the time position is a part of WeekAfterFn the other time position, then there exists another positive integer such that the other time position is an instance of the day the other positive integer of month the month a kind of month and equal the other positive integer and (the positive integer and 7)
(=> (and (instance ?I NonnegativeInteger) (equal ?I (NumberOfDaysInMonthFn ?M ?Y)) (not (equal ?M February)) (instance ?Y ?YEAR) (instance ?MONTH (MonthFn ?M ?YEAR))) (duration ?MONTH (MeasureFn ?I DayDuration)))	Weather.kif 686-696	If an integer is an instance of nonnegative integer and equal the integer and NumberOfDaysInMonthFn a kind of month and a year and equal a kind of month and February and the year is an instance of the yearEAR and the kind of monthONTH is an instance of the month the kind of month, then duration of the kind of monthONTH is the integer DayDuration(s)
(=> (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 8841-8848	If a time interval is an instance of the month a kind of month and another time interval is an instance of the month another kind of month and equal a time point and the beginning of the time interval and equal another time point and the beginning of the other time interval and successorClass a kind of month and another kind of month, then the time point happens before the other time point
(=> (and (instance ?M1 (MonthFn ?N1 (YearFn ?Y))) (instance ?M2 (MonthFn ?N2 (YearFn ?Y))) (successorClass ?N1 ?N2)) (earlier ?M1 ?M2))	Merge.kif 8850-8855	If a time interval is an instance of the month a kind of month and another time interval is an instance of the month another kind of month and successorClass a kind of month and another kind of month, then the time interval happens earlier than the other time interval
(=> (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 71-87	If a process is an instance of BarMitzvah and a human is a patient of the process and the human is an instance of Boy and the human is a member of a collection and the collection is an instance of Judaism and birthdate the human and a day and the day is an instance of the day a positive integer of month the month a kind of month, then there exist an integer and a time position such that the integer is an instance of integer and equal the integer and (another integer and 13) and the time position is an instance of the day the positive integer of month the month a kind of month and equal the time of existence of the process and immediately after the time position
(=> (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 102-118	If a process is an instance of BatMitzvah and a human is a patient of the process and the human is an instance of Girl and the human is a member of a collection and the collection is an instance of Judaism and birthdate the human and a day and the day is an instance of the day a positive integer of month the month a kind of month, then there exist an integer and a time position such that the integer is an instance of integer and equal the integer and (another integer and 13) and the time position is an instance of the day the positive integer of month the month a kind of month and equal the time of existence of the process and immediately after the time position
(=> (and (instance ?MONTH (MonthFn February ?YEAR)) (instance ?Y ?YEAR) (instance ?Y LeapYear)) (duration ?MONTH (MeasureFn 29 DayDuration)))	Merge.kif 9208-9213	If a time interval is an instance of the month February and an entity is an instance of the entityEAR and the entity is an instance of leap year, then duration of the time interval is 29 DayDuration(s)
(=> (and (instance ?MONTH (MonthFn February ?YEAR)) (instance ?Y ?YEAR) (not (instance ?Y LeapYear))) (duration ?MONTH (MeasureFn 28 DayDuration)))	Merge.kif 9201-9206	If a time interval is an instance of the month February and an entity is an instance of the entityEAR and the entity is not an instance of leap year, then duration of the time interval is 28 DayDuration(s)
(=> (and (instance ?MONTH1 (MonthFn April ?YEAR)) (instance ?MONTH2 (MonthFn May ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9243-9247	If a time interval is an instance of the month April and another time interval is an instance of the month May, then the time interval meets the other time interval
(=> (and (instance ?MONTH1 (MonthFn August ?YEAR)) (instance ?MONTH2 (MonthFn September ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9299-9303	If a time interval is an instance of the month August and another time interval is an instance of the month September, then the time interval meets the other time interval
(=> (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 9356-9363	If a time interval is an instance of the month December and another time interval is an instance of the month January and a third time interval is an instance of a kind of year and a fourth time interval is an instance of another kind of year and the third time interval meets the fourth time interval, then the time interval meets the other time interval
(=> (and (instance ?MONTH1 (MonthFn February ?YEAR)) (instance ?MONTH2 (MonthFn March ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9215-9219	If a time interval is an instance of the month February and another time interval is an instance of the month March, then the time interval meets the other time interval
(=> (and (instance ?MONTH1 (MonthFn January ?YEAR)) (instance ?MONTH2 (MonthFn February ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9191-9195	If a time interval is an instance of the month January and another time interval is an instance of the month February, then the time interval meets the other time interval
(=> (and (instance ?MONTH1 (MonthFn July ?YEAR)) (instance ?MONTH2 (MonthFn August ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9285-9289	If a time interval is an instance of the month July and another time interval is an instance of the month August, then the time interval meets the other time interval
(=> (and (instance ?MONTH1 (MonthFn June ?YEAR)) (instance ?MONTH2 (MonthFn July ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9271-9275	If a time interval is an instance of the month June and another time interval is an instance of the month July, then the time interval meets the other time interval
(=> (and (instance ?MONTH1 (MonthFn March ?YEAR)) (instance ?MONTH2 (MonthFn April ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9229-9233	If a time interval is an instance of the month March and another time interval is an instance of the month April, then the time interval meets the other time interval
(=> (and (instance ?MONTH1 (MonthFn May ?YEAR)) (instance ?MONTH2 (MonthFn June ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9257-9261	If a time interval is an instance of the month May and another time interval is an instance of the month June, then the time interval meets the other time interval
(=> (and (instance ?MONTH1 (MonthFn November ?YEAR)) (instance ?MONTH2 (MonthFn December ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9342-9346	If a time interval is an instance of the month November and another time interval is an instance of the month December, then the time interval meets the other time interval
(=> (and (instance ?MONTH1 (MonthFn October ?YEAR)) (instance ?MONTH2 (MonthFn November ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9328-9332	If a time interval is an instance of the month October and another time interval is an instance of the month November, then the time interval meets the other time interval

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 25874-25884	If birthdate a human and a day and the day is an instance of the day a positive integer of month the month a kind of month, then there exist another kind of day and an integer such that birthday the human and another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and equal the other kind of day and the day the positive integer of month the month a kind of month and the integer is greater than another integer
(=> (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	If commemoratesDate a kind of Holiday and the day a positive integer of month the month a kind of month and an entity is an instance of a kind of Holiday and the kind of Holiday is a subclass of FixedHoliday and an integer is less than or equal to another entity_YEAR, then the entity is an instance of the day the positive integer of month the month a kind of month
(=> (and (equal ?L (DailyTempListFn ?W ?M ?Y)) (inList ?T ?L) (equal ?DAYS (NumberOfDaysInMonthFn ?M ?Y))) (exists (?D ?DAY ?YEAR) (and (lessThanOrEqualTo ?D ?DAYS) (equal ?T (DailyTempFn ?W ?DAY)) (instance ?Y ?YEAR) (instance ?DAY (DayFn ?D (MonthFn ?M ?YEAR))))))	Weather.kif 659-673	If equal a list and DailyTempListFn a geographic area, a kind of month and a year and a temperature measure is a member of the list and equal an integer and NumberOfDaysInMonthFn a kind of month and the year, then there exist a positive integer, the positive integerAY and the yearEAR such that the positive integer is less than or equal to the integer and equal the temperature measure and DailyTempFn the geographic area and the positive integerAY and the year is an instance of the yearEAR and the positive integerAY is an instance of the day the positive integer of month the month the kind of month
(=> (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 16199-16208	If a time position is an instance of the day a positive integer of month the month a kind of month and another time position is a part of WeekBeforeFn the time position and the time position is a part of WeekAfterFn the other time position, then there exists another positive integer such that the other time position is an instance of the day the other positive integer of month the month a kind of month and equal the other positive integer and (the positive integer and 7)
(=> (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 71-87	If a process is an instance of BarMitzvah and a human is a patient of the process and the human is an instance of Boy and the human is a member of a collection and the collection is an instance of Judaism and birthdate the human and a day and the day is an instance of the day a positive integer of month the month a kind of month, then there exist an integer and a time position such that the integer is an instance of integer and equal the integer and (another integer and 13) and the time position is an instance of the day the positive integer of month the month a kind of month and equal the time of existence of the process and immediately after the time position
(=> (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 102-118	If a process is an instance of BatMitzvah and a human is a patient of the process and the human is an instance of Girl and the human is a member of a collection and the collection is an instance of Judaism and birthdate the human and a day and the day is an instance of the day a positive integer of month the month a kind of month, then there exist an integer and a time position such that the integer is an instance of integer and equal the integer and (another integer and 13) and the time position is an instance of the day the positive integer of month the month a kind of month and equal the time of existence of the process and immediately after the time position
(=> (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 25833-25844	If a physical is an instance of Wedding and date of the physical is a day and the day is an instance of the day a positive integer of month the month a kind of month, then there exist another kind of day and an integer such that weddingAnniversary the physical and another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and equal the other kind of day and the day the positive integer of month the month a kind of month and the integer is greater than another integer
(=> (holdsDuring ?T (and (instance ?D DeltaCovidVariant) (part ?D ?H) (attribute ?H Covid19))) (greaterThan ?T (MonthFn December (YearFn 2020))))	Medicine.kif 3004-3012	If an entity is an instance of DeltaCovidVariant and the entity is a part of another entity and Covid19 is an attribute of the other entity holds during a real number, then the real number is greater than the month December
(=> (instance ?H HarmattanSeason) (exists (?Y ?M1 ?M2) (and (during (BeginFn ?H) (instance ?M1 (MonthFn November (YearFn ?Y)))) (during (EndFn ?H) (instance ?M2 (MonthFn March (YearFn (AdditionFn ?Y 1))))))))	Weather.kif 2051-2065	If a time interval is an instance of HarmattanSeason, then there exist an entity, another entity and a third entity such that the beginning of the time interval takes place during the other entity is an instance of the month November and the end of the time interval takes place during the third entity is an instance of the month March

statement

(agreementAdoptionDate AntarcticTreaty (DayFn 1 (MonthFn December (YearFn 1959))))	Geography.kif 4660-4660	agreementAdoptionDate AntarcticTreaty and the day 1 of month the month December
(agreementEffectiveDate AntarcticTreaty (instance ?D (DayFn 23 (MonthFn June (YearFn 1961)))))	Geography.kif 4661-4661	agreementEffectiveDate AntarcticTreaty and ?D is an instance of the day 23 of month the month June
(dateDissolved CoordinatingCommitteeOnExportControls (DayFn 31 (MonthFn March (YearFn 1994))))	Government.kif 2955-2955	dateDissolved CoordinatingCommitteeOnExportControls and the day 31 of month the month March
(dateDissolved CouncilForMutualEconomicAssistance (DayFn 1 (MonthFn January (YearFn 1991))))	Government.kif 2970-2970	dateDissolved CouncilForMutualEconomicAssistance and the day 1 of month the month January
(dateDissolved UnitedNationsPreventiveDeploymentForce (DayFn 25 (MonthFn March (YearFn 1999))))	Government.kif 4106-4106	dateDissolved UnitedNationsPreventiveDeploymentForce and the day 25 of month the month March
(dateDissolved WarsawPact (DayFn 1 (MonthFn July (YearFn 1991))))	Government.kif 4246-4246	dateDissolved WarsawPact and the day 1 of month the month July
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates (DayFn 6 (MonthFn June (YearFn 1975))))	Government.kif 2711-2711	dateEstablished AfricanCaribbeanAndPacificGroupOfStates and the day 6 of month the month June
(dateEstablished AfricanDevelopmentBank (DayFn 4 (MonthFn August (YearFn 1963))))	Government.kif 2718-2718	dateEstablished AfricanDevelopmentBank and the day 4 of month the month August
(dateEstablished AgencyForTheFrenchSpeakingCommunity (DayFn 20 (MonthFn March (YearFn 1970))))	Government.kif 2732-2732	dateEstablished AgencyForTheFrenchSpeakingCommunity and the day 20 of month the month March
(dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean (DayFn 14 (MonthFn February (YearFn 1967))))	Government.kif 2739-2739	dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and the day 14 of month the month February
(dateEstablished AndeanCommunityOfNations (DayFn 26 (MonthFn May (YearFn 1969))))	Government.kif 2757-2757	dateEstablished AndeanCommunityOfNations and the day 26 of month the month May
(dateEstablished AntarcticTreatyCouncil (DayFn 23 (MonthFn June (YearFn 1961))))	Government.kif 2762-2762	dateEstablished AntarcticTreatyCouncil and the day 23 of month the month June
(dateEstablished ArabBankForEconomicDevelopmentInAfrica (DayFn 18 (MonthFn February (YearFn 1974))))	Government.kif 2773-2773	dateEstablished ArabBankForEconomicDevelopmentInAfrica and the day 18 of month the month February
(dateEstablished ArabCooperationCouncil (DayFn 16 (MonthFn February (YearFn 1989))))	Government.kif 2779-2779	dateEstablished ArabCooperationCouncil and the day 16 of month the month February
(dateEstablished ArabFundForEconomicAndSocialDevelopment (DayFn 16 (MonthFn May (YearFn 1968))))	Government.kif 2785-2785	dateEstablished ArabFundForEconomicAndSocialDevelopment and the day 16 of month the month May
(dateEstablished ArabLeague (DayFn 22 (MonthFn March (YearFn 1945))))	Government.kif 2794-2794	dateEstablished ArabLeague and the day 22 of month the month March
(dateEstablished ArabMaghrebUnion (DayFn 17 (MonthFn February (YearFn 1989))))	Government.kif 2803-2803	dateEstablished ArabMaghrebUnion and the day 17 of month the month February
(dateEstablished ArabMonetaryFund (DayFn 27 (MonthFn April (YearFn 1976))))	Government.kif 2812-2812	dateEstablished ArabMonetaryFund and the day 27 of month the month April
(dateEstablished AsiaPacificEconomicCooperation (DayFn 7 (MonthFn November (YearFn 1989))))	Government.kif 2818-2818	dateEstablished AsiaPacificEconomicCooperation and the day 7 of month the month November
(dateEstablished AsianDevelopmentBank (DayFn 19 (MonthFn December (YearFn 1966))))	Government.kif 2824-2824	dateEstablished AsianDevelopmentBank and the day 19 of month the month December
(dateEstablished AssociationOfSoutheastAsianNations (DayFn 8 (MonthFn August (YearFn 1967))))	Government.kif 2830-2830	dateEstablished AssociationOfSoutheastAsianNations and the day 8 of month the month August
(dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty (DayFn 1 (MonthFn September (YearFn 1951))))	Government.kif 2850-2850	dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty and the day 1 of month the month September
(dateEstablished BankForInternationalSettlements (DayFn 20 (MonthFn January (YearFn 1930))))	Government.kif 2856-2856	dateEstablished BankForInternationalSettlements and the day 20 of month the month January
(dateEstablished BeneluxEconomicUnion (DayFn 3 (MonthFn February (YearFn 1958))))	Government.kif 2862-2862	dateEstablished BeneluxEconomicUnion and the day 3 of month the month February
(dateEstablished BlackSeaEconomicCooperationZone (DayFn 25 (MonthFn June (YearFn 1992))))	Government.kif 2882-2882	dateEstablished BlackSeaEconomicCooperationZone and the day 25 of month the month June

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: