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	DayFn の数値 1 引数は正の整数の instance では
(domainSubclass DayFn 2 Month)	Merge.kif 8702-8702	DayFn の数値 2 引数は月のsubclass では
(instance DayFn BinaryFunction)	Merge.kif 8699-8699	DayFn は 2変数関数の instance では
(instance DayFn PartialValuedRelation)	Merge.kif 8700-8700	DayFn は部分的価値関係の instance では
(instance DayFn TemporalRelation)	Merge.kif 8698-8698	DayFn は時間関係の instance では
(rangeSubclass DayFn Day)	Merge.kif 8703-8703	DayFn が返す値は日の subclasses では

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	日は DayFn に internally 関連して
(termFormat ChineseLanguage DayFn "天")	domainEnglishFormat.kif 18669-18669	日は DayFn に internally 関連して
(termFormat ChineseLanguage DayFn "日函数")	chinese_format.kif 470-470	日は DayFn に internally 関連して
(termFormat ChineseTraditionalLanguage DayFn "天")	domainEnglishFormat.kif 18668-18668	日は DayFn に internally 関連して
(termFormat EnglishLanguage DayFn "day")	domainEnglishFormat.kif 18667-18667	日は DayFn に internally 関連して
(termFormat de DayFn "TagFn")	terms-de.txt 190-190	日は DayFn に internally 関連して
(termFormat tg DayFn "tungkulin araw")	relations-tg.txt 147-147	日は DayFn に internally 関連して

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 人［人間］ and 日日は正の整数 day 目の instance では日整数 birthday 人［人間］ and 日日は日の subclass では整数は整数の instance では equal 日 and 正の整数 day 目整数は整数より greater では
(=> (and (commemoratesDate ?HOLIDAY (DayFn ?DAY (MonthFn ?MONTH (YearFn ?YEAR)))) (instance ?DATE ?HOLIDAY) (instance ?ANYO (YearFn ?YEAR))) (not (earlier ?DATE ?ANYO)))	Government.kif 576-581	commemoratesDate Holiday and 正の整数 day 目時間間隔は Holiday の instance では時間間隔は整数 year 目の instance では時間間隔は時間間隔より earlier happen ない
(=> (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	commemoratesDate Holiday and 正の整数 day 目エンティティーは Holiday の instance では Holiday は FixedHoliday の subclass では整数はエンティティー_YEAR より less または同等ではエンティティーは正の整数 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 ではは時間間隔の during holds birthdate 人［人間］ and 日日は正の整数 day 目の instance では equal 実数 and (49 + 整数) equal 実数 and (52 + 整数) equal 時点 and 時間間隔の beginning ステートメント時点は実数より greater では　実数は時点より greater では　には Likely の modal force がある
(=> (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 時間間隔の beginning equal 時点 and 時間間隔の beginning 正の整数は正の整数より greater では　時点は時点の before に happens
(=> (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 では正の整数は正の整数より greater では　時間間隔は時間間隔より earlier happens
(=> (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 時間間隔は時間間隔に meets
(=> (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 では人［人間］は Boy の instance では人［人間］はコレクションの member ではコレクションは Judaism の instance では birthdate 人［人間］ and 日日は正の整数 day 目の instance では整数時間位置整数は整数の instance では equal 整数 and ( 整数 + 13) 時間位置は正の整数 day 目の instance では equal 工程の time の existence 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 では人［人間］は Girl の instance では人［人間］はコレクションの member ではコレクションは Judaism の instance では birthdate 人［人間］ and 日日は正の整数 day 目の instance では整数時間位置整数は整数の instance では equal 整数 and ( 整数 + 13) 時間位置は正の整数 day 目の instance では equal 工程の time の existence 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 ゾーン CentralTimeZone の時間時間位置 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 ゾーン EasternTimeZone の時間時間位置 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 ゾーン MountainTimeZone の時間時間位置 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 ゾーン PacificTimeZone の時間時間位置 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	物理は Wedding の instance では物理の date は日では日は正の整数 day 目の instance では日整数 weddingAnniversary 物理 and 日日は日の subclass では整数は整数の instance では equal 日 and 正の整数 day 目整数は整数より greater では
(=> (instance ?DAY (DayFn ?NUMBER ?MONTH)) (lessThanOrEqualTo ?NUMBER 31))	Merge.kif 8712-8714	エンティティーは正の整数 day 目の instance では正の整数は 31 より less または同等では

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 人［人間］ and 日日は正の整数 day 目の instance では日整数 birthday 人［人間］ and 日日は日の subclass では整数は整数の instance では equal 日 and 正の整数 day 目整数は整数より greater では
(=> (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	commemoratesDate Holiday and 正の整数 day 目エンティティーは Holiday の instance では Holiday は FixedHoliday の subclass では整数はエンティティー_YEAR より less または同等ではエンティティーは正の整数 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 では人［人間］は Boy の instance では人［人間］はコレクションの member ではコレクションは Judaism の instance では birthdate 人［人間］ and 日日は正の整数 day 目の instance では整数時間位置整数は整数の instance では equal 整数 and ( 整数 + 13) 時間位置は正の整数 day 目の instance では equal 工程の time の existence 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 では人［人間］は Girl の instance では人［人間］はコレクションの member ではコレクションは Judaism の instance では birthdate 人［人間］ and 日日は正の整数 day 目の instance では整数時間位置整数は整数の instance では equal 整数 and ( 整数 + 13) 時間位置は正の整数 day 目の instance では equal 工程の time の existence 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	物理は Wedding の instance では物理の date は日では日は正の整数 day 目の instance では日整数 weddingAnniversary 物理 and 日日は日の subclass では整数は整数の instance では equal 日 and 正の整数 day 目整数は整数より greater では

statement

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

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: