DayFn - Sigma 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 8705-8710
(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 8701-8701	日函数的 1 数量是正整数的 instance
(domainSubclass DayFn 2 Month)	Merge.kif 8702-8702	日函数的 2 数量是月的 subclass
(instance DayFn BinaryFunction)	Merge.kif 8699-8699	日函数是二元函数的 instance
(instance DayFn PartialValuedRelation)	Merge.kif 8700-8700	日函数是部分值关系的 instance
(instance DayFn TemporalRelation)	Merge.kif 8698-8698	日函数是时间关系的 instance
(rangeSubclass DayFn Day)	Merge.kif 8703-8703	日函数的所得值是日的 subclass

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 9344-9344	日和日函数是内部相关
(termFormat ChineseLanguage DayFn "天")	domainEnglishFormat.kif 18669-18669	日和日函数是内部相关
(termFormat ChineseLanguage DayFn "日函数")	chinese_format.kif 470-470	日和日函数是内部相关
(termFormat ChineseTraditionalLanguage DayFn "天")	domainEnglishFormat.kif 18668-18668	日和日函数是内部相关
(termFormat EnglishLanguage DayFn "day")	domainEnglishFormat.kif 18667-18667	日和日函数是内部相关
(termFormat de DayFn "TagFn")	terms-de.txt 190-190	日和日函数是内部相关
(termFormat tg DayFn "tungkulin araw")	relations-tg.txt 147-147	日和日函数是内部相关

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 25883-25893	如果日是人类的 birthdate 和那个日是正整数 day 的 instance，然后有存在另一个有点日和整数这样那个人类的 birthday 是另一个有点日和那个另外有点日是日的 subclass 和那个整数是整数的 instance 和 equal 那个另外有点日 and 那个正整数 day 和那个整数是 greaterThan 另一个整数
(=> (and (commemoratesDate ?HOLIDAY (DayFn ?DAY (MonthFn ?MONTH (YearFn ?YEAR)))) (instance ?DATE ?HOLIDAY) (instance ?ANYO (YearFn ?YEAR))) (not (earlier ?DATE ?ANYO)))	Government.kif 576-581	如果正整数 day 是有点假日的 commemorates 日期和时距是有点假日的 instance 和另一个时距是整数 year 的 instance，然后那个时距 doesn't 比那个另外时距发生的earlier
(=> (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	如果正整数 day 是有点假日的 commemorates 日期和实体是有点假日的 instance 和那个有点假日是固定假期的 subclass 和整数是 lessThanOrEqualTo 另一个实体_YEAR，然后那个实体是那个正整数 day 的 instance
(=> (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 25562-25578	如果 Menopausal 是人类的 attribute 在时距 holdsDuring 和日是那个人类的 birthdate 和那个日是正整数 day 的 instance 和 equal 实数 and (49 和整数) 和 equal 另一个实数 and (52 和那个整数) 和 equal 时点 and 那个时距的开始，然后那个时点是 greaterThan 那个实数和那个另外实数是 greaterThan 那个时点的声明 has 容易的语气
(=> (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 8835-8842	如果时距是正整数 day 的 instance 和另一个时距是另一个正整数 day 的 instance 和 equal 时点 and 那个时距的开始和 equal 另一个时点 and 那个另外时距的开始和那个另外正整数是 greaterThan 那个正整数，然后那个时点在那个另外时点 before发生
(=> (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 8844-8849	如果时距是正整数 day 的 instance 和另一个时距是另一个正整数 day 的 instance 和那个另外正整数是 greaterThan 那个正整数，然后那个时距比那个另外时距发生的earlier
(=> (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 16210-16219	如果时间位置是正整数 day 的 instance 和另一个时间位置时段是 WeekBeforeFn 那个时间位置时段的一 part 和那个时间位置时段是 WeekAfterFn 那个另外时间位置时段的一 part，然后有存在另一个正整数这样那个另外时间位置是那个另外正整数 day 的 instance 和 equal 那个另外正整数 and (那个正整数和 7)
(=> (and (instance ?DAY1 (DayFn ?NUMBER1 ?MONTH)) (instance ?DAY2 (DayFn ?NUMBER2 ?MONTH)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 8716-8721	如果时距是正整数 day 的 instance 和另一个时距是另一个正整数 day 的 instance 和 equal (那个另外正整数和那个正整数) and 1，然后那个时距接着那个另外时距
(=> (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	如果过程是 BarMitzvah 的 instance 和人类是那个过程的 patient 和那个人类是男孩的 instance 和那个人类是群体的 member 和那个群体是犹太教的 instance 和日是那个人类的 birthdate 和那个日是正整数 day 的 instance，然后有存在整数和时间位置这样那个整数是整数的 instance 和 equal 那个整数 and (另一个整数和 13) 和那个时间位置是那个正整数 day 的 instance 和 equal 那个过程出现的 time and 紧接那个时间位置 after
(=> (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	如果过程是 BatMitzvah 的 instance 和人类是那个过程的 patient 和那个人类是女孩的 instance 和那个人类是群体的 member 和那个群体是犹太教的 instance 和日是那个人类的 birthdate 和那个日是正整数 day 的 instance，然后有存在整数和时间位置这样那个整数是整数的 instance 和 equal 那个整数 and (另一个整数和 13) 和那个时间位置是那个正整数 day 的 instance 和 equal 那个过程出现的 time and 紧接那个时间位置 after
(=> (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 17381-17387	如果时间位置是非负整数 hour 的 instance 和另一个时间位置是另一个非负整数 hour 的 instance 和 equal 时间那个时间位置在时区中央时区 and 那个另外时间位置，然后 equal 那个另外非负整数 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 17393-17399	如果时间位置是非负整数 hour 的 instance 和另一个时间位置是另一个非负整数 hour 的 instance 和 equal 时间那个时间位置在时区东部时区 and 那个另外时间位置，然后 equal 那个另外非负整数 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 17369-17375	如果时间位置是非负整数 hour 的 instance 和另一个时间位置是另一个非负整数 hour 的 instance 和 equal 时间那个时间位置在时区山区时区 and 那个另外时间位置，然后 equal 那个另外非负整数 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 17357-17363	如果时间位置是非负整数 hour 的 instance 和另一个时间位置是另一个非负整数 hour 的 instance 和 equal 时间那个时间位置在时区太平洋时区 and 那个另外时间位置，然后 equal 那个另外非负整数 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 25842-25853	如果物理是婚礼的 instance 和那个物理的 date 是日和那个日是正整数 day 的 instance，然后有存在另一个有点日和整数这样 weddingAnniversary 那个物理 and 另一个有点日和那个另外有点日是日的 subclass 和那个整数是整数的 instance 和 equal 那个另外有点日 and 那个正整数 day 和那个整数是 greaterThan 另一个整数
(=> (instance ?DAY (DayFn ?NUMBER ?MONTH)) (lessThanOrEqualTo ?NUMBER 31))	Merge.kif 8712-8714	如果实体是正整数 day 的 instance，然后那个正整数是 lessThanOrEqualTo 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 25883-25893	如果日是人类的 birthdate 和那个日是正整数 day 的 instance，然后有存在另一个有点日和整数这样那个人类的 birthday 是另一个有点日和那个另外有点日是日的 subclass 和那个整数是整数的 instance 和 equal 那个另外有点日 and 那个正整数 day 和那个整数是 greaterThan 另一个整数
(=> (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	如果正整数 day 是有点假日的 commemorates 日期和实体是有点假日的 instance 和那个有点假日是固定假期的 subclass 和整数是 lessThanOrEqualTo 另一个实体_YEAR，然后那个实体是那个正整数 day 的 instance
(=> (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 16210-16219	如果时间位置是正整数 day 的 instance 和另一个时间位置时段是 WeekBeforeFn 那个时间位置时段的一 part 和那个时间位置时段是 WeekAfterFn 那个另外时间位置时段的一 part，然后有存在另一个正整数这样那个另外时间位置是那个另外正整数 day 的 instance 和 equal 那个另外正整数 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	如果过程是 BarMitzvah 的 instance 和人类是那个过程的 patient 和那个人类是男孩的 instance 和那个人类是群体的 member 和那个群体是犹太教的 instance 和日是那个人类的 birthdate 和那个日是正整数 day 的 instance，然后有存在整数和时间位置这样那个整数是整数的 instance 和 equal 那个整数 and (另一个整数和 13) 和那个时间位置是那个正整数 day 的 instance 和 equal 那个过程出现的 time and 紧接那个时间位置 after
(=> (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	如果过程是 BatMitzvah 的 instance 和人类是那个过程的 patient 和那个人类是女孩的 instance 和那个人类是群体的 member 和那个群体是犹太教的 instance 和日是那个人类的 birthdate 和那个日是正整数 day 的 instance，然后有存在整数和时间位置这样那个整数是整数的 instance 和 equal 那个整数 and (另一个整数和 13) 和那个时间位置是那个正整数 day 的 instance 和 equal 那个过程出现的 time and 紧接那个时间位置 after
(=> (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 25842-25853	如果物理是婚礼的 instance 和那个物理的 date 是日和那个日是正整数 day 的 instance，然后有存在另一个有点日和整数这样 weddingAnniversary 那个物理 and 另一个有点日和那个另外有点日是日的 subclass 和那个整数是整数的 instance 和 equal 那个另外有点日 and 那个正整数 day 和那个整数是 greaterThan 另一个整数

statement

(agreementAdoptionDate AntarcticTreaty (DayFn 1 (MonthFn December (YearFn 1959))))	Geography.kif 3350-3350	1 Day 是南极条约的 agreement 采用日期
(agreementEffectiveDate AntarcticTreaty (instance ?D (DayFn 23 (MonthFn June (YearFn 1961)))))	Geography.kif 3351-3351	?D 是 23 Day 的 instance 是南极条约的 agreement 生效日期
(dateDissolved CoordinatingCommitteeOnExportControls (DayFn 31 (MonthFn March (YearFn 1994))))	Government.kif 2955-2955	31 Day 是出口管制协调委员会的闭幕 date
(dateDissolved CouncilForMutualEconomicAssistance (DayFn 1 (MonthFn January (YearFn 1991))))	Government.kif 2970-2970	1 Day 是共同经济援助理事会的闭幕 date
(dateDissolved UnitedNationsPreventiveDeploymentForce (DayFn 25 (MonthFn March (YearFn 1999))))	Government.kif 4106-4106	25 Day 是联合国预防性部署部队的闭幕 date
(dateDissolved WarsawPact (DayFn 1 (MonthFn July (YearFn 1991))))	Government.kif 4246-4246	1 Day 是华沙协议的闭幕 date
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates (DayFn 6 (MonthFn June (YearFn 1975))))	Government.kif 2711-2711	6 Day 是非洲加勒比和太平洋国家集团的成立 date
(dateEstablished AfricanDevelopmentBank (DayFn 4 (MonthFn August (YearFn 1963))))	Government.kif 2718-2718	4 Day 是非洲开发银行的成立 date
(dateEstablished AgencyForTheFrenchSpeakingCommunity (DayFn 20 (MonthFn March (YearFn 1970))))	Government.kif 2732-2732	20 Day 是法语社区的代理机构的成立 date
(dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean (DayFn 14 (MonthFn February (YearFn 1967))))	Government.kif 2739-2739	14 Day 是在拉丁美洲和加勒比地区禁止核武器的机构的成立 date
(dateEstablished AndeanCommunityOfNations (DayFn 26 (MonthFn May (YearFn 1969))))	Government.kif 2757-2757	26 Day 是安第斯国际社会的成立 date
(dateEstablished AntarcticTreatyCouncil (DayFn 23 (MonthFn June (YearFn 1961))))	Government.kif 2762-2762	23 Day 是南极条约理事会的成立 date
(dateEstablished ArabBankForEconomicDevelopmentInAfrica (DayFn 18 (MonthFn February (YearFn 1974))))	Government.kif 2773-2773	18 Day 是阿拉伯非洲经济发展银行的成立 date
(dateEstablished ArabCooperationCouncil (DayFn 16 (MonthFn February (YearFn 1989))))	Government.kif 2779-2779	16 Day 是阿拉伯合作理事会的成立 date
(dateEstablished ArabFundForEconomicAndSocialDevelopment (DayFn 16 (MonthFn May (YearFn 1968))))	Government.kif 2785-2785	16 Day 是阿拉伯经济和社会发展基金的成立 date
(dateEstablished ArabLeague (DayFn 22 (MonthFn March (YearFn 1945))))	Government.kif 2794-2794	22 Day 是阿拉伯联盟的成立 date
(dateEstablished ArabMaghrebUnion (DayFn 17 (MonthFn February (YearFn 1989))))	Government.kif 2803-2803	17 Day 是阿拉伯马格里布联盟的成立 date
(dateEstablished ArabMonetaryFund (DayFn 27 (MonthFn April (YearFn 1976))))	Government.kif 2812-2812	27 Day 是阿拉伯货币基金的成立 date
(dateEstablished AsiaPacificEconomicCooperation (DayFn 7 (MonthFn November (YearFn 1989))))	Government.kif 2818-2818	7 Day 是亚太经济合作的成立 date
(dateEstablished AsianDevelopmentBank (DayFn 19 (MonthFn December (YearFn 1966))))	Government.kif 2824-2824	19 Day 是亚洲开发银行的成立 date
(dateEstablished AssociationOfSoutheastAsianNations (DayFn 8 (MonthFn August (YearFn 1967))))	Government.kif 2830-2830	8 Day 是东南亚国家联盟的成立 date
(dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty (DayFn 1 (MonthFn September (YearFn 1951))))	Government.kif 2850-2850	1 Day 是澳大利亚新西兰美国安全条约的成立 date
(dateEstablished BankForInternationalSettlements (DayFn 20 (MonthFn January (YearFn 1930))))	Government.kif 2856-2856	20 Day 是国际结算银行的成立 date
(dateEstablished BeneluxEconomicUnion (DayFn 3 (MonthFn February (YearFn 1958))))	Government.kif 2862-2862	3 Day 是比荷卢经济联盟的成立 date
(dateEstablished BlackSeaEconomicCooperationZone (DayFn 25 (MonthFn June (YearFn 1992))))	Government.kif 2882-2882	25 Day 是黑海经济合作区的成立 date

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: