TreeView Knowledge Base Browser

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 8727-8732
(documentation DayFn JapaneseLanguage "BinaryFunction は、PositiveRealNumber と Month のサブクラスを、その PositiveRealNumber に対応する各 Month 内の Day に割り当てる。例えば、 (DayFn 16 August) は８月のすべての１６日間の Class である。別の例として、(DayFn 9 Month) は、任意の月のすべての９日間のクラスを返す。さらに別の例については、 (DayFn 18(MonthFn August (YearFn 1912))) は１９１２年８月１８日を示す。")	japanese_format.kif 1488-1492
(domain DayFn 1 PositiveInteger)	Merge.kif 8723-8723	The number 1 argument of day is an instance of positive integer
(domainSubclass DayFn 2 Month)	Merge.kif 8724-8724	The number 2 argument of day is a subclass of month
(instance DayFn BinaryFunction)	Merge.kif 8721-8721	Day is an instance of binary function
(instance DayFn PartialValuedRelation)	Merge.kif 8722-8722	Day is an instance of partial valued relation
(instance DayFn TemporalRelation)	Merge.kif 8720-8720	Day is an instance of temporal relation
(rangeSubclass DayFn Day)	Merge.kif 8725-8725	The values returned by day are subclasses of day

appearance as argument number 2

(format ChineseLanguage DayFn "%1 day ")	chinese_format.kif 469-469
(format EnglishLanguage DayFn "the day %1 of month %2")	english_format.kif 475-475
(format FrenchLanguage DayFn "le jour %1")	french_format.kif 271-271
(format ItalianLanguage DayFn "il giorno %1")	relations-it.txt 65-65
(format JapaneseLanguage DayFn "%1 day 目")	japanese_format.kif 2061-2061
(format PortugueseLanguage DayFn "o dia %1")	portuguese_format.kif 223-223
(format cb DayFn "ang adlaw %1")	relations-cb.txt 99-99
(format cz DayFn "%1 of %2")	relations-cz.txt 277-277
(format de DayFn "der tag %1")	relations-de.txt 612-612
(format hi DayFn "dina %1 hai")	relations-hindi.txt 106-106
(format ro DayFn "day%t{ziua} %1")	relations-ro.kif 292-292
(format sv DayFn "dagen %1")	relations-sv.txt 298-298
(format tg DayFn "ang araw %1")	relations-tg.txt 146-146
(relatedInternalConcept Day DayFn)	Merge.kif 9366-9366	Day is internally related to day
(termFormat ChineseLanguage DayFn "天")	domainEnglishFormat.kif 18668-18668	Day is internally related to day
(termFormat ChineseLanguage DayFn "日函数")	chinese_format.kif 470-470	Day is internally related to day
(termFormat ChineseTraditionalLanguage DayFn "天")	domainEnglishFormat.kif 18667-18667	Day is internally related to day
(termFormat EnglishLanguage DayFn "day")	domainEnglishFormat.kif 18666-18666	Day is internally related to day
(termFormat de DayFn "TagFn")	terms-de.txt 190-190	Day is internally related to day
(termFormat tg DayFn "tungkulin araw")	relations-tg.txt 147-147	Day is internally related to day

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 a day is a birthdate of a human 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 the human's birthday is 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 the day a positive integer of month the month a kind of month is a commemorates date of a kind of holiday 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 the day a positive integer of month the month a kind of month is a commemorates date of a kind of holiday and an entity is an instance of a kind of holiday and the kind of holiday is a subclass of fixed holiday 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 menopause is an attribute of a human holds during a time interval and a day is a birthdate of the human and the day is an instance of the day a positive integer of month the month a kind of month and equal an integer and (49 and another integer) and equal a third integer and (52 and the other integer) and equal a time point and the beginning of the time interval, then the statement the time point is greater than the integer and the third integer 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 week before fn the time position and the time position is a part of week after fn 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 ?DAY1 (DayFn ?NUMBER1 ?MONTH)) (instance ?DAY2 (DayFn ?NUMBER2 ?MONTH)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 8738-8743	If a time interval is an instance of the day a positive integer of month a kind of month and another time interval is an instance of the day another positive integer of month a kind of month and equal (the other positive integer and the positive integer) and 1, then the time interval meets 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 bar mitzvah 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 a day is a birthdate of the human 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 bat mitzvah 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 a day is a birthdate of the human 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 ?UTC (HourFn ?H1 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (instance ?CST (HourFn ?H2 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal (RelativeTimeFn ?UTC CentralTimeZone) ?CST)) (equal ?H2 (AdditionFn ?H1 6)))	Merge.kif 17403-17409	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and equal the time the time position in zone central time zone and the other time position, then equal the other nonnegative integer and (the nonnegative integer and 6)
(=> (and (instance ?UTC (HourFn ?H1 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (instance ?EST (HourFn ?H2 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal (RelativeTimeFn ?UTC EasternTimeZone) ?EST)) (equal ?H2 (AdditionFn ?H1 5)))	Merge.kif 17415-17421	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and equal the time the time position in zone eastern time zone and the other time position, then equal the other nonnegative integer and (the nonnegative integer and 5)
(=> (and (instance ?UTC (HourFn ?H1 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (instance ?MST (HourFn ?H2 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal (RelativeTimeFn ?UTC MountainTimeZone) ?MST)) (equal ?H2 (AdditionFn ?H1 7)))	Merge.kif 17391-17397	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and equal the time the time position in zone mountain time zone and the other time position, then equal the other nonnegative integer and (the nonnegative integer and 7)
(=> (and (instance ?UTC (HourFn ?H1 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (instance ?PST (HourFn ?H2 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal (RelativeTimeFn ?UTC PacificTimeZone) ?PST)) (equal ?H2 (AdditionFn ?H1 8)))	Merge.kif 17379-17385	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and equal the time the time position in zone pacific time zone and the other time position, then equal the other nonnegative integer and (the nonnegative integer and 8)
(=> (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 wedding anniversary 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
(=> (instance ?DAY (DayFn ?NUMBER ?MONTH)) (lessThanOrEqualTo ?NUMBER 31))	Merge.kif 8734-8736	If an entity is an instance of the day a positive integer of month a kind of month, then the positive integer is less than or equal to 31

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 a day is a birthdate of a human 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 the human's birthday is 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 the day a positive integer of month the month a kind of month is a commemorates date of a kind of holiday and an entity is an instance of a kind of holiday and the kind of holiday is a subclass of fixed holiday 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 The List of daily temperature for month a kind of month in year a year for GeographicArea a geographic area and a temperature measure is a member of the list and equal an integer and Number of days in month a kind of month and year 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 The avearage daily temperature for Region the geographic area 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 week before fn the time position and the time position is a part of week after fn 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 bar mitzvah 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 a day is a birthdate of the human 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 bat mitzvah 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 a day is a birthdate of the human 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 wedding anniversary 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

statement

(agreementAdoptionDate AntarcticTreaty (DayFn 1 (MonthFn December (YearFn 1959))))	Geography.kif 4660-4660	The day 1 of month the month December is an agreement adoption date of antarctic treaty
(agreementEffectiveDate AntarcticTreaty (instance ?D (DayFn 23 (MonthFn June (YearFn 1961)))))	Geography.kif 4661-4661	?D is an instance of the day 23 of month the month June is an agreement effective date of antarctic treaty
(dateDissolved CoordinatingCommitteeOnExportControls (DayFn 31 (MonthFn March (YearFn 1994))))	Government.kif 2955-2955	The day 31 of month the month March is a date dissolved of coordinating committee on export controls
(dateDissolved CouncilForMutualEconomicAssistance (DayFn 1 (MonthFn January (YearFn 1991))))	Government.kif 2970-2970	The day 1 of month the month January is a date dissolved of council for mutual economic assistance
(dateDissolved UnitedNationsPreventiveDeploymentForce (DayFn 25 (MonthFn March (YearFn 1999))))	Government.kif 4106-4106	The day 25 of month the month March is a date dissolved of united nations preventive deployment force
(dateDissolved WarsawPact (DayFn 1 (MonthFn July (YearFn 1991))))	Government.kif 4246-4246	The day 1 of month the month July is a date dissolved of warsaw pact
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates (DayFn 6 (MonthFn June (YearFn 1975))))	Government.kif 2711-2711	The day 6 of month the month June is a date established of african caribbean and pacific group of states
(dateEstablished AfricanDevelopmentBank (DayFn 4 (MonthFn August (YearFn 1963))))	Government.kif 2718-2718	The day 4 of month the month August is a date established of african development bank
(dateEstablished AgencyForTheFrenchSpeakingCommunity (DayFn 20 (MonthFn March (YearFn 1970))))	Government.kif 2732-2732	The day 20 of month the month March is a date established of agency for the french speaking community
(dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean (DayFn 14 (MonthFn February (YearFn 1967))))	Government.kif 2739-2739	The day 14 of month the month February is a date established of agency for the prohibition of nuclear weapons in latin america and the caribbean
(dateEstablished AndeanCommunityOfNations (DayFn 26 (MonthFn May (YearFn 1969))))	Government.kif 2757-2757	The day 26 of month the month May is a date established of andean community of nations
(dateEstablished AntarcticTreatyCouncil (DayFn 23 (MonthFn June (YearFn 1961))))	Government.kif 2762-2762	The day 23 of month the month June is a date established of antarctic treaty council
(dateEstablished ArabBankForEconomicDevelopmentInAfrica (DayFn 18 (MonthFn February (YearFn 1974))))	Government.kif 2773-2773	The day 18 of month the month February is a date established of arab bank for economic development in africa
(dateEstablished ArabCooperationCouncil (DayFn 16 (MonthFn February (YearFn 1989))))	Government.kif 2779-2779	The day 16 of month the month February is a date established of arab cooperation council
(dateEstablished ArabFundForEconomicAndSocialDevelopment (DayFn 16 (MonthFn May (YearFn 1968))))	Government.kif 2785-2785	The day 16 of month the month May is a date established of arab fund for economic and social development
(dateEstablished ArabLeague (DayFn 22 (MonthFn March (YearFn 1945))))	Government.kif 2794-2794	The day 22 of month the month March is a date established of arab league
(dateEstablished ArabMaghrebUnion (DayFn 17 (MonthFn February (YearFn 1989))))	Government.kif 2803-2803	The day 17 of month the month February is a date established of arab maghreb union
(dateEstablished ArabMonetaryFund (DayFn 27 (MonthFn April (YearFn 1976))))	Government.kif 2812-2812	The day 27 of month the month April is a date established of arab monetary fund
(dateEstablished AsiaPacificEconomicCooperation (DayFn 7 (MonthFn November (YearFn 1989))))	Government.kif 2818-2818	The day 7 of month the month November is a date established of asia pacific economic cooperation
(dateEstablished AsianDevelopmentBank (DayFn 19 (MonthFn December (YearFn 1966))))	Government.kif 2824-2824	The day 19 of month the month December is a date established of asian development bank
(dateEstablished AssociationOfSoutheastAsianNations (DayFn 8 (MonthFn August (YearFn 1967))))	Government.kif 2830-2830	The day 8 of month the month August is a date established of association of southeast asian nations
(dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty (DayFn 1 (MonthFn September (YearFn 1951))))	Government.kif 2850-2850	The day 1 of month the month September is a date established of australia new zealand united states security treaty
(dateEstablished BankForInternationalSettlements (DayFn 20 (MonthFn January (YearFn 1930))))	Government.kif 2856-2856	The day 20 of month the month January is a date established of bank for international settlements
(dateEstablished BeneluxEconomicUnion (DayFn 3 (MonthFn February (YearFn 1958))))	Government.kif 2862-2862	The day 3 of month the month February is a date established of benelux economic union
(dateEstablished BlackSeaEconomicCooperationZone (DayFn 25 (MonthFn June (YearFn 1992))))	Government.kif 2882-2882	The day 25 of month the month June is a date established of black sea economic cooperation zone

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: