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 8611-8619
(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 8607-8607	Die Zahl 1 Argument von MonthFn ist eine teilkategorie von Month %n{nicht}
(domainSubclass MonthFn 2 Year)	Merge.kif 8608-8608	Die Zahl 2 Argument von MonthFn ist eine teilkategorie von Year %n{nicht}
(instance MonthFn BinaryFunction)	Merge.kif 8605-8605	MonthFn ist ein fall von BinaryFunction %n{nicht}
(instance MonthFn PartialValuedRelation)	Merge.kif 8606-8606	MonthFn ist ein fall von PartialValuedRelation %n{nicht}
(instance MonthFn TemporalRelation)	Merge.kif 8604-8604	MonthFn ist ein fall von TemporalRelation %n{nicht}
(rangeSubclass MonthFn Month)	Merge.kif 8609-8609	Die werte die MonthFn zurueckgibt sind teilkategorien von 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 9080-9080	Month ist innerlich verwandt mit MonthFn %n{nicht}
(termFormat ChineseLanguage MonthFn "月")	domainEnglishFormat.kif 38489-38489
(termFormat ChineseLanguage MonthFn "月函数")	chinese_format.kif 468-468
(termFormat ChineseTraditionalLanguage MonthFn "月")	domainEnglishFormat.kif 38488-38488
(termFormat EnglishLanguage MonthFn "month")	domainEnglishFormat.kif 38487-38487
(termFormat tg MonthFn "tungkulin ng buwan")	relations-tg.txt 374-374

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 24293-24303	Wenn birthdate Human and Day und Day ist ein fall von der tag PositiveInteger %n{nicht}, dann es gibt Day und Integer um birthday Human and Day und Day ist eine teilkategorie von Day und Integer ist ein fall von Integer %n{nicht} und Day ist gleich der tag PositiveInteger %n{nicht} und Integer ist groesserAls Integer %n{nicht}
(=> (and (commemoratesDate ?HOLIDAY (DayFn ?DAY (MonthFn ?MONTH (YearFn ?YEAR)))) (instance ?DATE ?HOLIDAY) (instance ?ANYO (YearFn ?YEAR))) (not (earlier ?DATE ?ANYO)))	Government.kif 576-581	Wenn commemoratesDate Holiday and der tag PositiveInteger und TimeInterval ist ein fall von Holiday %n{nicht} und TimeInterval ist ein fall von das jahr Integer %n{nicht}, dann TimeInterval geschieht frueh als TimeInterval nicht
(=> (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	Wenn commemoratesDate Holiday and der tag PositiveInteger und Entity ist ein fall von Holiday %n{nicht} und Holiday ist eine teilkategorie von FixedHoliday und Integer ist kleinerAlsOderGleich entity-YEAR %n{nicht}, dann Entity ist ein fall von der tag ** PositiveInteger %n{nicht}
(=> (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 23973-23989	Wenn Menopausal ist ein attribut von Human %n{nicht} haelt waehrend TimeInterval %n{nicht} und birthdate Human and Day und Day ist ein fall von der tag PositiveInteger %n{nicht} und RealNumber ist gleich (49 und Integer) %n{nicht} und RealNumber ist gleich (52 und Integer) %n{nicht} und TimePoint ist gleich der anfang von TimeInterval %n{nicht}, dann die Aussage TimePoint ist groesserAls RealNumber %n{nicht} und RealNumber ist groesserAls TimePoint %n{nicht} hat die modale Kraft von 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 8758-8765	Wenn TimeInterval ist ein fall von der tag PositiveInteger %n{nicht} und TimeInterval ist ein fall von der tag PositiveInteger %n{nicht} und TimePoint ist gleich der anfang von TimeInterval %n{nicht} und TimePoint ist gleich der anfang von TimeInterval %n{nicht} und PositiveInteger ist groesserAls PositiveInteger %n{nicht}, dann TimePoint geschieht vor TimePoint %n{nicht}
(=> (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 8767-8772	Wenn TimeInterval ist ein fall von der tag PositiveInteger %n{nicht} und TimeInterval ist ein fall von der tag PositiveInteger %n{nicht} und PositiveInteger ist groesserAls PositiveInteger %n{nicht}, dann TimeInterval geschieht frueh als TimeInterval %n{nicht}
(=> (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 14864-14873	Wenn TimePosition ist ein fall von der tag PositiveInteger %n{nicht} und TimePosition ist ein teil von WeekBeforeFn TimePosition %n{nicht} und TimePosition ist ein teil von WeekAfterFn TimePosition %n{nicht}, dann es gibt PositiveInteger um TimePosition ist ein fall von der tag PositiveInteger %n{nicht} und PositiveInteger ist gleich (** PositiveInteger und 7) %n{nicht}
(=> (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 8742-8749	Wenn TimeInterval ist ein fall von der monat Month %n{nicht} und TimeInterval ist ein fall von der monat Month %n{nicht} und TimePoint ist gleich der anfang von TimeInterval %n{nicht} und TimePoint ist gleich der anfang von TimeInterval %n{nicht} und successorClass Month and Month, dann TimePoint geschieht vor TimePoint %n{nicht}
(=> (and (instance ?M1 (MonthFn ?N1 (YearFn ?Y))) (instance ?M2 (MonthFn ?N2 (YearFn ?Y))) (successorClass ?N1 ?N2)) (earlier ?M1 ?M2))	Merge.kif 8751-8756	Wenn TimeInterval ist ein fall von der monat Month %n{nicht} und TimeInterval ist ein fall von der monat Month %n{nicht} und successorClass Month and Month, dann TimeInterval geschieht frueh als TimeInterval %n{nicht}
(=> (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 69-85	Wenn Process ist ein fall von BarMitzvah %n{nicht} und Human ist ein patient von Process %n{nicht} und Human ist ein fall von Boy %n{nicht} und Human ist ein Mitglied von Collection %n{nicht} und Collection ist ein fall von Judaism %n{nicht} und birthdate Human and Day und Day ist ein fall von der tag PositiveInteger %n{nicht}, dann es gibt Integer und TimePosition um Integer ist ein fall von Integer %n{nicht} und Integer ist gleich ( Integer und 13) %n{nicht} und TimePosition ist ein fall von der tag PositiveInteger %n{nicht} und die zeit des Bestehens von Process ist gleich sofort nach ** TimePosition %n{nicht}
(=> (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 99-115	Wenn Process ist ein fall von BatMitzvah %n{nicht} und Human ist ein patient von Process %n{nicht} und Human ist ein fall von Girl %n{nicht} und Human ist ein Mitglied von Collection %n{nicht} und Collection ist ein fall von Judaism %n{nicht} und birthdate Human and Day und Day ist ein fall von der tag PositiveInteger %n{nicht}, dann es gibt Integer und TimePosition um Integer ist ein fall von Integer %n{nicht} und Integer ist gleich ( Integer und 13) %n{nicht} und TimePosition ist ein fall von der tag PositiveInteger %n{nicht} und die zeit des Bestehens von Process ist gleich sofort nach ** TimePosition %n{nicht}
(=> (and (instance ?MONTH (MonthFn February ?YEAR)) (instance ?Y ?YEAR) (instance ?Y LeapYear)) (duration ?MONTH (MeasureFn 29 DayDuration)))	Merge.kif 9109-9114	Wenn TimeInterval ist ein fall von der monat February %n{nicht} und Entity ist ein fall von EntityEAR %n{nicht} und Entity ist ein fall von LeapYear %n{nicht}, dann dauer von ** TimeInterval ist 29 DayDuration(s) %n{nicht}
(=> (and (instance ?MONTH (MonthFn February ?YEAR)) (instance ?Y ?YEAR) (not (instance ?Y LeapYear))) (duration ?MONTH (MeasureFn 28 DayDuration)))	Merge.kif 9102-9107	Wenn TimeInterval ist ein fall von der monat February %n{nicht} und Entity ist ein fall von EntityEAR %n{nicht} und Entity ist ein fall von LeapYear nicht, dann dauer von ** TimeInterval ist 28 DayDuration(s) %n{nicht}
(=> (and (instance ?MONTH1 (MonthFn April ?YEAR)) (instance ?MONTH2 (MonthFn May ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9144-9148	Wenn TimeInterval ist ein fall von der monat April %n{nicht} und TimeInterval ist ein fall von der monat May %n{nicht}, dann TimeInterval schliesst TimeInterval zeitlich an
(=> (and (instance ?MONTH1 (MonthFn August ?YEAR)) (instance ?MONTH2 (MonthFn September ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9200-9204	Wenn TimeInterval ist ein fall von der monat August %n{nicht} und TimeInterval ist ein fall von der monat September %n{nicht}, dann TimeInterval schliesst TimeInterval zeitlich an
(=> (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 9257-9264	Wenn TimeInterval ist ein fall von der monat December %n{nicht} und TimeInterval ist ein fall von der monat January %n{nicht} und TimeInterval ist ein fall von Year %n{nicht} und TimeInterval ist ein fall von Year %n{nicht} und TimeInterval schliesst TimeInterval zeitlich an, dann TimeInterval schliesst ** TimeInterval zeitlich an
(=> (and (instance ?MONTH1 (MonthFn February ?YEAR)) (instance ?MONTH2 (MonthFn March ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9116-9120	Wenn TimeInterval ist ein fall von der monat February %n{nicht} und TimeInterval ist ein fall von der monat March %n{nicht}, dann TimeInterval schliesst TimeInterval zeitlich an
(=> (and (instance ?MONTH1 (MonthFn January ?YEAR)) (instance ?MONTH2 (MonthFn February ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9092-9096	Wenn TimeInterval ist ein fall von der monat January %n{nicht} und TimeInterval ist ein fall von der monat February %n{nicht}, dann TimeInterval schliesst TimeInterval zeitlich an
(=> (and (instance ?MONTH1 (MonthFn July ?YEAR)) (instance ?MONTH2 (MonthFn August ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9186-9190	Wenn TimeInterval ist ein fall von der monat July %n{nicht} und TimeInterval ist ein fall von der monat August %n{nicht}, dann TimeInterval schliesst TimeInterval zeitlich an
(=> (and (instance ?MONTH1 (MonthFn June ?YEAR)) (instance ?MONTH2 (MonthFn July ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9172-9176	Wenn TimeInterval ist ein fall von der monat June %n{nicht} und TimeInterval ist ein fall von der monat July %n{nicht}, dann TimeInterval schliesst TimeInterval zeitlich an
(=> (and (instance ?MONTH1 (MonthFn March ?YEAR)) (instance ?MONTH2 (MonthFn April ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9130-9134	Wenn TimeInterval ist ein fall von der monat March %n{nicht} und TimeInterval ist ein fall von der monat April %n{nicht}, dann TimeInterval schliesst TimeInterval zeitlich an
(=> (and (instance ?MONTH1 (MonthFn May ?YEAR)) (instance ?MONTH2 (MonthFn June ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9158-9162	Wenn TimeInterval ist ein fall von der monat May %n{nicht} und TimeInterval ist ein fall von der monat June %n{nicht}, dann TimeInterval schliesst TimeInterval zeitlich an
(=> (and (instance ?MONTH1 (MonthFn November ?YEAR)) (instance ?MONTH2 (MonthFn December ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9243-9247	Wenn TimeInterval ist ein fall von der monat November %n{nicht} und TimeInterval ist ein fall von der monat December %n{nicht}, dann TimeInterval schliesst TimeInterval zeitlich an
(=> (and (instance ?MONTH1 (MonthFn October ?YEAR)) (instance ?MONTH2 (MonthFn November ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9229-9233	Wenn TimeInterval ist ein fall von der monat October %n{nicht} und TimeInterval ist ein fall von der monat November %n{nicht}, dann TimeInterval schliesst TimeInterval zeitlich an
(=> (and (instance ?MONTH1 (MonthFn September ?YEAR)) (instance ?MONTH2 (MonthFn October ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9215-9219	Wenn TimeInterval ist ein fall von der monat September %n{nicht} und TimeInterval ist ein fall von der monat October %n{nicht}, dann TimeInterval schliesst TimeInterval zeitlich an

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 24293-24303	Wenn birthdate Human and Day und Day ist ein fall von der tag PositiveInteger %n{nicht}, dann es gibt Day und Integer um birthday Human and Day und Day ist eine teilkategorie von Day und Integer ist ein fall von Integer %n{nicht} und Day ist gleich der tag PositiveInteger %n{nicht} und Integer ist groesserAls Integer %n{nicht}
(=> (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	Wenn commemoratesDate Holiday and der tag PositiveInteger und Entity ist ein fall von Holiday %n{nicht} und Holiday ist eine teilkategorie von FixedHoliday und Integer ist kleinerAlsOderGleich entity-YEAR %n{nicht}, dann Entity ist ein fall von der tag ** PositiveInteger %n{nicht}
(=> (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 14864-14873	Wenn TimePosition ist ein fall von der tag PositiveInteger %n{nicht} und TimePosition ist ein teil von WeekBeforeFn TimePosition %n{nicht} und TimePosition ist ein teil von WeekAfterFn TimePosition %n{nicht}, dann es gibt PositiveInteger um TimePosition ist ein fall von der tag PositiveInteger %n{nicht} und PositiveInteger ist gleich (** PositiveInteger und 7) %n{nicht}
(=> (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 69-85	Wenn Process ist ein fall von BarMitzvah %n{nicht} und Human ist ein patient von Process %n{nicht} und Human ist ein fall von Boy %n{nicht} und Human ist ein Mitglied von Collection %n{nicht} und Collection ist ein fall von Judaism %n{nicht} und birthdate Human and Day und Day ist ein fall von der tag PositiveInteger %n{nicht}, dann es gibt Integer und TimePosition um Integer ist ein fall von Integer %n{nicht} und Integer ist gleich ( Integer und 13) %n{nicht} und TimePosition ist ein fall von der tag PositiveInteger %n{nicht} und die zeit des Bestehens von Process ist gleich sofort nach ** TimePosition %n{nicht}
(=> (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 99-115	Wenn Process ist ein fall von BatMitzvah %n{nicht} und Human ist ein patient von Process %n{nicht} und Human ist ein fall von Girl %n{nicht} und Human ist ein Mitglied von Collection %n{nicht} und Collection ist ein fall von Judaism %n{nicht} und birthdate Human and Day und Day ist ein fall von der tag PositiveInteger %n{nicht}, dann es gibt Integer und TimePosition um Integer ist ein fall von Integer %n{nicht} und Integer ist gleich ( Integer und 13) %n{nicht} und TimePosition ist ein fall von der tag PositiveInteger %n{nicht} und die zeit des Bestehens von Process ist gleich sofort nach ** TimePosition %n{nicht}
(=> (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 24252-24263	Wenn Physical ist ein fall von Wedding %n{nicht} und datum von Physical ist Day %n{nicht} und Day ist ein fall von der tag PositiveInteger %n{nicht}, dann es gibt Day und Integer um weddingAnniversary Physical and Day und Day ist eine teilkategorie von Day und Integer ist ein fall von Integer %n{nicht} und Day ist gleich der tag PositiveInteger %n{nicht} und Integer ist groesserAls ** Integer %n{nicht}
(=> (holdsDuring ?T (and (instance ?D DeltaCovidVariant) (part ?D ?H) (attribute ?H Covid19))) (greaterThan ?T (MonthFn December (YearFn 2020))))	Medicine.kif 3003-3011	Wenn entity ist ein fall von DeltaCovidVariant %n{nicht} und entity ist ein teil von entity %n{nicht} und Covid19 ist ein attribut von entity %n{nicht} haelt waehrend RealNumber %n{nicht}, dann ** RealNumber ist groesserAls der monat December %n{nicht}

statement

(agreementAdoptionDate AntarcticTreaty (DayFn 1 (MonthFn December (YearFn 1959))))	Geography.kif 3192-3192	agreementAdoptionDate AntarcticTreaty and der tag 1
(agreementEffectiveDate AntarcticTreaty (instance ?D (DayFn 23 (MonthFn June (YearFn 1961)))))	Geography.kif 3193-3193	agreementEffectiveDate AntarcticTreaty and ?D ist ein fall von der tag 23 %n{nicht}
(dateDissolved CoordinatingCommitteeOnExportControls (DayFn 31 (MonthFn March (YearFn 1994))))	Government.kif 2958-2958	dateDissolved CoordinatingCommitteeOnExportControls and der tag 31
(dateDissolved CouncilForMutualEconomicAssistance (DayFn 1 (MonthFn January (YearFn 1991))))	Government.kif 2973-2973	dateDissolved CouncilForMutualEconomicAssistance and der tag 1
(dateDissolved UnitedNationsPreventiveDeploymentForce (DayFn 25 (MonthFn March (YearFn 1999))))	Government.kif 4109-4109	dateDissolved UnitedNationsPreventiveDeploymentForce and der tag 25
(dateDissolved WarsawPact (DayFn 1 (MonthFn July (YearFn 1991))))	Government.kif 4249-4249	dateDissolved WarsawPact and der tag 1
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates (DayFn 6 (MonthFn June (YearFn 1975))))	Government.kif 2714-2714	dateEstablished AfricanCaribbeanAndPacificGroupOfStates and der tag 6
(dateEstablished AfricanDevelopmentBank (DayFn 4 (MonthFn August (YearFn 1963))))	Government.kif 2721-2721	dateEstablished AfricanDevelopmentBank and der tag 4
(dateEstablished AgencyForTheFrenchSpeakingCommunity (DayFn 20 (MonthFn March (YearFn 1970))))	Government.kif 2735-2735	dateEstablished AgencyForTheFrenchSpeakingCommunity and der tag 20
(dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean (DayFn 14 (MonthFn February (YearFn 1967))))	Government.kif 2742-2742	dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and der tag 14
(dateEstablished AndeanCommunityOfNations (DayFn 26 (MonthFn May (YearFn 1969))))	Government.kif 2760-2760	dateEstablished AndeanCommunityOfNations and der tag 26
(dateEstablished AntarcticTreatyCouncil (DayFn 23 (MonthFn June (YearFn 1961))))	Government.kif 2765-2765	dateEstablished AntarcticTreatyCouncil and der tag 23
(dateEstablished ArabBankForEconomicDevelopmentInAfrica (DayFn 18 (MonthFn February (YearFn 1974))))	Government.kif 2776-2776	dateEstablished ArabBankForEconomicDevelopmentInAfrica and der tag 18
(dateEstablished ArabCooperationCouncil (DayFn 16 (MonthFn February (YearFn 1989))))	Government.kif 2782-2782	dateEstablished ArabCooperationCouncil and der tag 16
(dateEstablished ArabFundForEconomicAndSocialDevelopment (DayFn 16 (MonthFn May (YearFn 1968))))	Government.kif 2788-2788	dateEstablished ArabFundForEconomicAndSocialDevelopment and der tag 16
(dateEstablished ArabLeague (DayFn 22 (MonthFn March (YearFn 1945))))	Government.kif 2797-2797	dateEstablished ArabLeague and der tag 22
(dateEstablished ArabMaghrebUnion (DayFn 17 (MonthFn February (YearFn 1989))))	Government.kif 2806-2806	dateEstablished ArabMaghrebUnion and der tag 17
(dateEstablished ArabMonetaryFund (DayFn 27 (MonthFn April (YearFn 1976))))	Government.kif 2815-2815	dateEstablished ArabMonetaryFund and der tag 27
(dateEstablished AsiaPacificEconomicCooperation (DayFn 7 (MonthFn November (YearFn 1989))))	Government.kif 2821-2821	dateEstablished AsiaPacificEconomicCooperation and der tag 7
(dateEstablished AsianDevelopmentBank (DayFn 19 (MonthFn December (YearFn 1966))))	Government.kif 2827-2827	dateEstablished AsianDevelopmentBank and der tag 19
(dateEstablished AssociationOfSoutheastAsianNations (DayFn 8 (MonthFn August (YearFn 1967))))	Government.kif 2833-2833	dateEstablished AssociationOfSoutheastAsianNations and der tag 8
(dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty (DayFn 1 (MonthFn September (YearFn 1951))))	Government.kif 2853-2853	dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty and der tag 1
(dateEstablished BankForInternationalSettlements (DayFn 20 (MonthFn January (YearFn 1930))))	Government.kif 2859-2859	dateEstablished BankForInternationalSettlements and der tag 20
(dateEstablished BeneluxEconomicUnion (DayFn 3 (MonthFn February (YearFn 1958))))	Government.kif 2865-2865	dateEstablished BeneluxEconomicUnion and der tag 3
(dateEstablished BlackSeaEconomicCooperationZone (DayFn 25 (MonthFn June (YearFn 1992))))	Government.kif 2885-2885	dateEstablished BlackSeaEconomicCooperationZone and der tag 25

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: