Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ChairmanJCS

 Sigma KEE - MonthFn
MonthFn

appearance as argument number 1
-------------------------


(instance MonthFn TemporalRelation) Merge.kif 8770-8770 Month is an instance of temporal relation
(instance MonthFn BinaryFunction) Merge.kif 8771-8771 Month is an instance of binary function
(instance MonthFn PartialValuedRelation) Merge.kif 8772-8772 Month is an instance of partial valued relation
(domainSubclass MonthFn 1 Month) Merge.kif 8773-8773 The number 1 argument of month is a subclass of month
(domainSubclass MonthFn 2 Year) Merge.kif 8774-8774 The number 2 argument of month is a subclass of year
(rangeSubclass MonthFn Month) Merge.kif 8775-8775 The values returned by month are subclasses of month
(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 8777-8785 The values returned by month are subclasses of month

appearance as argument number 2
-------------------------


(relatedInternalConcept Month MonthFn) Merge.kif 9246-9246 Month is internally related to month
(termFormat EnglishLanguage MonthFn "month") domainEnglishFormat.kif 38489-38489 Month is internally related to month
(termFormat ChineseTraditionalLanguage MonthFn "月") domainEnglishFormat.kif 38490-38490 Month is internally related to month
(termFormat ChineseLanguage MonthFn "月") domainEnglishFormat.kif 38491-38491 Month is internally related to month
(format EnglishLanguage MonthFn "the month %1") english_format.kif 473-473 Month is internally related to month

antecedent
-------------------------


(=>
    (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 8908-8915 If X is an instance of the month Y, Z is an instance of the month W, equal V and the beginning of X, equal U and the beginning of Z, and W is the successor class of Y., then V happens before U
(=>
    (and
        (instance ?M1
            (MonthFn ?N1
                (YearFn ?Y)))
        (instance ?M2
            (MonthFn ?N2
                (YearFn ?Y)))
        (successorClass ?N1 ?N2))
    (earlier ?M1 ?M2))		 Merge.kif 8917-8922 If X is an instance of the month Y, Z is an instance of the month W, and W is the successor class of Y., then X happens earlier than Z
(=>
    (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 8924-8931 If X is an instance of the day Y of month the month Z, W is an instance of the day V of month the month Z, equal U and the beginning of X, equal T and the beginning of W, and V is greater than Y, then U happens before T
(=>
    (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 8933-8938 If X is an instance of the day Y of month the month Z, W is an instance of the day V of month the month Z, and V is greater than Y, then X happens earlier than W
(=>
    (and
        (instance ?MONTH1
            (MonthFn January ?YEAR))
        (instance ?MONTH2
            (MonthFn February ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))		 Merge.kif 9258-9262 If X is an instance of the month January and Y is an instance of the month February, then X meets Y
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (not
            (instance ?Y LeapYear)))
    (duration ?MONTH
        (MeasureFn 28 DayDuration)))		 Merge.kif 9268-9273 If X is an instance of the month February, Y is an instance of Z, and Y is not an instance of leap year, then duration of X is 28 day duration(s)
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (instance ?Y LeapYear))
    (duration ?MONTH
        (MeasureFn 29 DayDuration)))		 Merge.kif 9275-9280 If X is an instance of the month February, Y is an instance of Z, and Y is an instance of leap year, then duration of X is 29 day duration(s)
(=>
    (and
        (instance ?MONTH1
            (MonthFn February ?YEAR))
        (instance ?MONTH2
            (MonthFn March ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))		 Merge.kif 9282-9286 If X is an instance of the month February and Y is an instance of the month March, then X meets Y
(=>
    (and
        (instance ?MONTH1
            (MonthFn March ?YEAR))
        (instance ?MONTH2
            (MonthFn April ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))		 Merge.kif 9296-9300 If X is an instance of the month March and Y is an instance of the month April, then X meets Y
(=>
    (and
        (instance ?MONTH1
            (MonthFn April ?YEAR))
        (instance ?MONTH2
            (MonthFn May ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))		 Merge.kif 9310-9314 If X is an instance of the month April and Y is an instance of the month May, then X meets Y
(=>
    (and
        (instance ?MONTH1
            (MonthFn May ?YEAR))
        (instance ?MONTH2
            (MonthFn June ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))		 Merge.kif 9324-9328 If X is an instance of the month May and Y is an instance of the month June, then X meets Y
(=>
    (and
        (instance ?MONTH1
            (MonthFn June ?YEAR))
        (instance ?MONTH2
            (MonthFn July ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))		 Merge.kif 9338-9342 If X is an instance of the month June and Y is an instance of the month July, then X meets Y
(=>
    (and
        (instance ?MONTH1
            (MonthFn July ?YEAR))
        (instance ?MONTH2
            (MonthFn August ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))		 Merge.kif 9352-9356 If X is an instance of the month July and Y is an instance of the month August, then X meets Y
(=>
    (and
        (instance ?MONTH1
            (MonthFn August ?YEAR))
        (instance ?MONTH2
            (MonthFn September ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))		 Merge.kif 9366-9370 If X is an instance of the month August and Y is an instance of the month September, then X meets Y
(=>
    (and
        (instance ?MONTH1
            (MonthFn September ?YEAR))
        (instance ?MONTH2
            (MonthFn October ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))		 Merge.kif 9381-9385 If X is an instance of the month September and Y is an instance of the month October, then X meets Y
(=>
    (and
        (instance ?MONTH1
            (MonthFn October ?YEAR))
        (instance ?MONTH2
            (MonthFn November ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))		 Merge.kif 9395-9399 If X is an instance of the month October and Y is an instance of the month November, then X meets Y
(=>
    (and
        (instance ?MONTH1
            (MonthFn November ?YEAR))
        (instance ?MONTH2
            (MonthFn December ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))		 Merge.kif 9409-9413 If X is an instance of the month November and Y is an instance of the month December, then X meets Y
(=>
    (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 9423-9430 If X is an instance of the month December, Y is an instance of the month January, Z is an instance of W, V is an instance of U, and Z meets V, then X meets Y
(=>
    (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 17532-17538 If X is an instance of the hour Y, Z is an instance of the hour W, and equal the time X in zone pacific time zone and Z, then equal W and (Y and 8)
(=>
    (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 17544-17550 If X is an instance of the hour Y, Z is an instance of the hour W, and equal the time X in zone mountain time zone and Z, then equal W and (Y and 7)
(=>
    (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 17556-17562 If X is an instance of the hour Y, Z is an instance of the hour W, and equal the time X in zone central time zone and Z, then equal W and (Y 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 17568-17574 If X is an instance of the hour Y, Z is an instance of the hour W, and equal the time X in zone eastern time zone and Z, then equal W and (Y and 5)
(=>
    (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 16444-16453 If X is an instance of the day Y of month the month Z, W is a part of week before fn X, and X is a part of week after fn W, then there exists V such that W is an instance of the day V of month the month Z and equal V and (Y and 7)
(=>
    (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 26201-26217 If All of the following hold: (1) menopause is an attribute of X holds during Y (2) Z is a birthdate of X (3) Z is an instance of the day W of month the month V (4) equal U and (49 and T) (5) equal S and (52 and T) (6) equal R and the beginning of Y, then the statement R is greater than U and S is greater than R has the modal force of likely
(=>
    (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 26479-26490 If X is an instance of wedding, date of X is Y, and Y is an instance of the day Z of month the month W, then All of the following hold: (1) there exist V (2) U such that wedding anniversary X (3) V (4) V is a subclass of day (5) U is an instance of integer (6) equal V (7) the day Z of month the month W (8) U is greater than T

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (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 16444-16453 If X is an instance of the day Y of month the month Z, W is a part of week before fn X, and X is a part of week after fn W, then there exists V such that W is an instance of the day V of month the month Z and equal V and (Y and 7)
(=>
    (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 26479-26490 If X is an instance of wedding, date of X is Y, and Y is an instance of the day Z of month the month W, then All of the following hold: (1) there exist V (2) U such that wedding anniversary X (3) V (4) V is a subclass of day (5) U is an instance of integer (6) equal V (7) the day Z of month the month W (8) U is greater than T
(=>
    (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 26520-26530 If X is a birthdate of Y and X is an instance of the day Z of month the month W, then All of the following hold: (1) there exist V (2) U such that Y's birthday is V (3) V is a subclass of day (4) U is an instance of integer (5) equal V (6) the day Z of month the month W (7) U is greater than T
(=>
    (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 All of the following hold: (1) X is an instance of bar mitzvah (2) Y is a patient of X (3) Y is an instance of boy (4) Y is a member of Z (5) Z is an instance of judaism (6) W is a birthdate of Y (7) W is an instance of the day V of month the month U, then there exist T and S such that T is an instance of integer and equal T and (R and 13) and S is an instance of the day V of month the month U and equal the time of existence of X and immediately after S
(=>
    (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 All of the following hold: (1) X is an instance of bat mitzvah (2) Y is a patient of X (3) Y is an instance of girl (4) Y is a member of Z (5) Z is an instance of judaism (6) W is a birthdate of Y (7) W is an instance of the day V of month the month U, then there exist T and S such that T is an instance of integer and equal T and (R and 13) and S is an instance of the day V of month the month U and equal the time of existence of X and immediately after S
(=>
    (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 X of month the month Y is a commemorates date of Z, W is an instance of Z, Z is a subclass of fixed holiday, and V is less than or equal to ?LATER_YEAR, then W is an instance of the day X of month the month Y
(=>
    (holdsDuring ?T
        (and
            (instance ?D DeltaCovidVariant)
            (part ?D ?H)
            (attribute ?H Covid19)))
    (greaterThan ?T
        (MonthFn December
            (YearFn 2020))))		 Medicine.kif 3009-3017 If X is an instance of delta, X is a part of Y, and Covid is an attribute of Y holds during Z, then Z is greater than the month December
(=>
    (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 643-657 If equal X and The List of daily temperature for month Y in year Z for GeographicArea W, V is a member of X, and equal U, Number of days in month Y, and year Z, then there exist T, S, R such that T is less than or equal to U, equal V, The avearage daily temperature for Region W, Z is an instance of R, and S is an instance of the day T of month the month Y
(=>
    (instance ?H HarmattanSeason)
    (exists (?Y)
        (and
            (instance ?HS
                (MonthFn November
                    (YearFn ?Y)))
            (instance ?HE
                (MonthFn March
                    (YearFn
                        (AdditionFn ?Y 1))))
            (during ?H
                (IntervalFn
                    (EndFn ?HS)
                    (BeginFn ?HE))))))		 Weather.kif 2037-2050 If X is an instance of Harmattan season, then there exists Y such that Z is an instance of the month November, W is an instance of the month March, and X takes place during the interval from the end of Z to the beginning of W

statement
-------------------------


(agreementAdoptionDate AntarcticTreaty
    (DayFn 1
        (MonthFn December
            (YearFn 1959))))		 Geography.kif 4624-4627 The day 1 of month the month December is an agreement adoption date of antarctic treaty
(agreementEffectiveDate AntarcticTreaty
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))		 Geography.kif 4629-4632 The day 23 of month the month June is an agreement effective date of antarctic treaty
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates
    (DayFn 6
        (MonthFn June
            (YearFn 1975))))		 Government.kif 2742-2742 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 2749-2749 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 2763-2763 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 2770-2770 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
(holdsDuring
    (ImmediateFutureFn ?T)
    (and
        (instance ?T
            (DayFn 1
                (MonthFn October
                    (YearFn 1992))))
        (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))		 Government.kif 2783-2786 X is an instance of the day 1 of month the month October and andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after X
(dateEstablished AndeanCommunityOfNations
    (DayFn 26
        (MonthFn May
            (YearFn 1969))))		 Government.kif 2788-2788 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 2793-2793 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 2804-2804 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 2810-2810 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 2816-2816 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 2825-2825 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 2834-2834 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 2843-2843 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 2849-2849 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 2855-2855 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 2861-2861 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 2881-2881 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 2887-2887 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 2893-2893 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 2913-2913 The day 25 of month the month June is a date established of black sea economic cooperation zone
(dateEstablished CaribbeanCommunityAndCommonMarket
    (DayFn 4
        (MonthFn July
            (YearFn 1973))))		 Government.kif 2920-2920 The day 4 of month the month July is a date established of caribbean community and common market
(dateEstablished CaribbeanDevelopmentBank
    (DayFn 18
        (MonthFn October
            (YearFn 1969))))		 Government.kif 2927-2927 The day 18 of month the month October is a date established of caribbean development bank
(dateEstablished CentralAfricanStatesDevelopmentBank
    (DayFn 3
        (MonthFn December
            (YearFn 1975))))		 Government.kif 2935-2935 The day 3 of month the month December is a date established of central african states development bank

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)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners