YearFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation YearFn ChineseLanguage "这是一个 UnaryFunction，它把一个数字和对应的日历 Year 联系起来。例如：(YearFn 1912)会得出，1912年这个只有一个实例的 Class。正如所料的，正整数会得出公元的年份，而负整数会得出公元前的年份。注：这个函数得出一个 Class 作为它的值，原因是和它相关的函数，即 MonthFn、 DayFn、 HourFn、 MinuteFn 和 SecondFn 等，是用来得出特定的 TimeInterval 和重复发生的时段，而唯一的做法是把这些函数的领域和范围当成类别而不是个别的实例。")	chinese_format.kif 2749-2753
(documentation YearFn EnglishLanguage "A UnaryFunction that maps a number to the corresponding calendar Year. For example, (YearFn 1912) returns the Class containing just one instance, the year of 1912. As might be expected, positive integers return years in the Common Era, while negative integers return years in B.C.E. Note that this function returns a Class as a value. The reason for this is that the related functions, viz. MonthFn, 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 8558-8566
(documentation YearFn JapaneseLanguage "UnaryFunction は、数値を対応するカレンダー Year にマップする。注：(YearFn 1912) は、１９１２年の１つのインスタンスだけを含む Class を返す。予想どおり、正の整数は西暦紀元に年を返し、負の整数は紀元前に年を返す。この関数は値として Class を返す。　この理由は、関連する関数 viz である。MonthFn、DayFn、HourFn、MinuteFn、および SecondFn は、特定の TimeInterval と反復間隔の両方を生成するために使用され、これを行う唯一の方法は、個々別々ではなく、これらの関数クラスのドメインと範囲を作成することである。")	japanese_format.kif 1475-1480
(domain YearFn 1 Integer)	Merge.kif 8555-8555	Die Zahl 1 Argument von YearFn ist ein fall von Integer %n{nicht}
(instance YearFn TemporalRelation)	Merge.kif 8552-8552	YearFn ist ein fall von TemporalRelation %n{nicht}
(instance YearFn TotalValuedRelation)	Merge.kif 8554-8554	YearFn ist ein fall von TotalValuedRelation %n{nicht}
(instance YearFn UnaryFunction)	Merge.kif 8553-8553	YearFn ist ein fall von UnaryFunction %n{nicht}
(rangeSubclass YearFn Year)	Merge.kif 8556-8556	Die werte die YearFn zurueckgibt sind teilkategorien von Year

appearance as argument number 2

(format ChineseLanguage YearFn "%1 year")	chinese_format.kif 465-465
(format EnglishLanguage YearFn "the year %1")	english_format.kif 471-471
(format FrenchLanguage YearFn "l' ann�e %1")	french_format.kif 269-269
(format ItalianLanguage YearFn "l' anno %1")	relations-it.txt 317-317
(format JapaneseLanguage YearFn "%1 year 目")	japanese_format.kif 2059-2059
(format PortugueseLanguage YearFn "o ano %1")	portuguese_format.kif 221-221
(format cz YearFn "%1 of %2")	relations-cz.txt 275-275
(format de YearFn "das jahr %1")	relations-de.txt 608-608
(format hi YearFn "varshha %1")	relations-hindi.txt 351-351
(format ro YearFn "year%t{anul} %1")	relations-ro.kif 290-290
(format sv YearFn "året %1")	relations-sv.txt 296-296
(format tg YearFn "ang taon %1")	relations-tg.txt 509-509
(relatedInternalConcept Year YearFn)	Merge.kif 8739-8739	Year ist innerlich verwandt mit YearFn %n{nicht}
(termFormat ChineseLanguage YearFn "年")	domainEnglishFormat.kif 63757-63757
(termFormat ChineseLanguage YearFn "年函数")	chinese_format.kif 466-466
(termFormat ChineseTraditionalLanguage YearFn "年")	domainEnglishFormat.kif 63756-63756
(termFormat EnglishLanguage YearFn "year")	domainEnglishFormat.kif 63755-63755

antecedent

(<=> (and (instance ?Y (YearFn ?YEAR)) (equal (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) ?Y) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 357-390	Year ist ein fall von das jahr YearEAR %n{nicht} und MaleLifeExpectancyAtBirthFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, Integer,, , SymbolicString,, , entity,, , entity, and und entity um List ist ein fall von List %n{nicht} und Laenge von List ist ein fall von Integer %n{nicht} und fuer alle ListITEM wenn ListITEM ist ein Mitglied von List, dann ListITEM ist ein fall von SymbolicString %n{nicht} und es gibt nicht Entity um Entity ist ein fall von SymbolicString %n{nicht} und nicht Entity ist ein Mitglied von List und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und average List and RealNumber
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (BirthsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 82-97	Year ist ein fall von das jahr Integer %n{nicht} und BirthsPerThousandFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn PopulationFn GeopoliticalArea und 1000 ist gleich RealNumber %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer und RealNumber ist gleich ** RealNumber %n{nicht}
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (DivisionFn (PopulationFn ?AREA) 1000) ?THOUSANDS) (equal ?DEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (instance ?PERSON Human) (during (WhenFn ?DEATH) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 118-133	Year ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn PopulationFn GeopoliticalArea und 1000 ist gleich RealNumber %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer und RealNumber ist gleich ** RealNumber %n{nicht}
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS) (equal ?INFANTDEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?INFANT) (instance ?INFANT Human) (age ?INFANT (MeasureFn ?AGE YearDuration)) (lessThan ?AGE 1) (during (WhenFn ?DEATH) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))	People.kif 238-264	Year ist ein fall von das jahr Integer %n{nicht} und DeathsPerThousandLiveBirthsFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer und 1000 ist gleich RealNumber %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer und RealNumber ist gleich RealNumber %n{nicht}
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 403-436	Year ist ein fall von das jahr Integer %n{nicht} und FemaleLifeExpectancyAtBirthFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, Integer,, , SymbolicString,, , entity,, , entity, and und entity um List ist ein fall von List %n{nicht} und Laenge von List ist ein fall von Integer %n{nicht} und fuer alle ListITEM wenn ListITEM ist ein Mitglied von List, dann ListITEM ist ein fall von SymbolicString %n{nicht} und es gibt nicht Entity um Entity ist ein fall von SymbolicString %n{nicht} und nicht Entity ist ein Mitglied von List und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und average List and ** RealNumber
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 310-342	Year ist ein fall von das jahr Integer %n{nicht} und LifeExpectancyAtBirthFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn es gibt List, Integer,, , SymbolicString,, , entity,, , entity, and und entity um List ist ein fall von List %n{nicht} und Laenge von List ist ein fall von Integer %n{nicht} und fuer alle ListITEM wenn ListITEM ist ein Mitglied von List, dann ListITEM ist ein fall von SymbolicString %n{nicht} und es gibt nicht Entity um Entity ist ein fall von SymbolicString %n{nicht} und nicht Entity ist ein Mitglied von List und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und average List and ** RealNumber
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (SubtractionFn ?Y ?PY) 1) (instance ?PREVIOUSYEAR (YearFn ?PY)) (holdsDuring ?YEAR (equal (PopulationFn ?AREA) ?POPULATION)) (equal (DivisionFn ?POPULATION 1000) ?THOUSANDS) (equal ?IMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (not (inhabits ?PERSON ?AREA))) (holdsDuring ?YEAR (inhabits ?PERSON ?AREA)))))) (equal ?EMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (inhabits ?PERSON ?AREA)) (holdsDuring ?YEAR (not (inhabits ?PERSON ?AREA))))))) (equal (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT) (equal (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 156-187	Year ist ein fall von das jahr Integer %n{nicht} und MigrantsPerThousandFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn ( Integer und Integer) ist gleich 1 %n{nicht} und Entity ist ein fall von das jahr Integer %n{nicht} und PopulationFn GeopoliticalArea ist gleich RealNumber %n{nicht} haelt waehrend Year %n{nicht} und RealNumber und 1000 ist gleich RealNumber %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ( Integer und Integer) ist gleich RealNumber %n{nicht} und RealNumber und RealNumber ist gleich RealNumber %n{nicht}
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (PopulationGrowthFn ?AREA ?YEAR) ?ADJUSTEDPERCENT)) (and (equal (SubtractionFn ?Y ?YP) 1) (instance ?PREVIOUSYEAR (YearFn ?YP)) (holdsDuring ?YEAR (equal (PopulationFn ?AREA) ?POPULATION)) (holdsDuring ?PREVIOUSYEAR (equal (PopulationFn ?AREA) ?PREVIOUSPOPULATION)) (equal (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT) (equal (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT)))	People.kif 52-64	Year ist ein fall von das jahr Integer %n{nicht} und PopulationGrowthFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn ( Integer und IntegerP) ist gleich 1 %n{nicht} und TimePosition ist ein fall von das jahr IntegerP %n{nicht} und PopulationFn GeopoliticalArea ist gleich RealNumber %n{nicht} haelt waehrend Year %n{nicht} und PopulationFn GeopoliticalArea ist gleich RealNumber %n{nicht} haelt waehrend TimePosition %n{nicht} und RealNumber und RealNumber ist gleich RealNumber %n{nicht} und ( RealNumber und 1) ist gleich RealNumber %n{nicht}
(=> (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 24236-24246	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 (birthdate JesusOfNazareth ?DAY) (instance ?Y1 (YearFn -6)) (instance ?Y2 (YearFn 4))) (temporalPart ?DAY (TimeIntervalFn (BeginFn ?Y1) (EndFn ?Y2))))	Media.kif 1936-1941	Wenn birthdate JesusOfNazareth and Day und TimeInterval ist ein fall von das jahr -6 %n{nicht} und TimeInterval ist ein fall von das jahr 4 %n{nicht}, dann Day ist ein teil von abstand zwischen der anfang von TimeInterval und das ende von ** TimeInterval %n{nicht}
(=> (and (commemoratesDate ?HOLIDAY (DayFn ?DAY (MonthFn ?MONTH (YearFn ?YEAR)))) (instance ?DATE ?HOLIDAY) (instance ?ANYO (YearFn ?YEAR))) (not (earlier ?DATE ?ANYO)))	Government.kif 612-617	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 619-625	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 (deathdate JesusOfNazareth ?DAY) (instance ?Y1 (YearFn 29)) (instance ?Y2 (YearFn 36))) (temporalPart ?DAY (TimeIntervalFn (BeginFn ?Y1) (EndFn ?Y2))))	Media.kif 1943-1948	Wenn deathdate JesusOfNazareth and Day und TimeInterval ist ein fall von das jahr 29 %n{nicht} und TimeInterval ist ein fall von das jahr 36 %n{nicht}, dann Day ist ein teil von abstand zwischen der anfang von TimeInterval und das ende von ** TimeInterval %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 23916-23932	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 8722-8729	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 8731-8736	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 14837-14846	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 ?LEAP LeapYear) (instance ?LEAP (YearFn ?NUMBER))) (or (and (equal (RemainderFn ?NUMBER 4) 0) (not (equal (RemainderFn ?NUMBER 100) 0))) (equal (RemainderFn ?NUMBER 400) 0)))	Merge.kif 9001-9009	Wenn Entity ist ein fall von LeapYear %n{nicht} und Entity ist ein fall von das jahr Integer %n{nicht}, dann Integer betrag 4 ist gleich 0 %n{nicht} und Integer betrag 100 ist gleich 0 nicht oder Integer betrag 400 ist gleich 0 %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 8706-8713	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 8715-8720	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 ?Q QuarterYear) (instance ?Q (QuarterFn ?N (YearFn ?Y))) (instance ?YI (YearFn ?Y))) (during ?Q ?YI))	Merge.kif 8980-8985	Wenn TimeInterval ist ein fall von QuarterYear %n{nicht} und TimeInterval ist ein fall von QuarterFn PositiveInteger and das jahr Integer %n{nicht} und IntegerI ist ein fall von das jahr Integer %n{nicht}, dann TimeInterval geschieht waehrend ** IntegerI %n{nicht}
(=> (and (instance ?T1 (YearFn 26)) (instance ?T2 (YearFn 100))) (temporalPart (WhenFn TwelveApostles) (TimeIntervalFn (BeginFn ?T1) (EndFn ?T2))))	Media.kif 1959-1963	Wenn TimeInterval ist ein fall von das jahr 26 %n{nicht} und TimeInterval ist ein fall von das jahr 100 %n{nicht}, dann die zeit des Bestehens von TwelveApostles ist ein teil von abstand zwischen der anfang von TimeInterval und das ende von TimeInterval %n{nicht}
(=> (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 17206-17212	Wenn TimePosition ist ein fall von die stunde NonnegativeInteger %n{nicht} und TimePosition ist ein fall von die stunde NonnegativeInteger %n{nicht} und ist gleich TimePosition %n{nicht}, dann NonnegativeInteger ist gleich (** NonnegativeInteger und 6) %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal (SubtractionFn ?Y ?PY) 1) (instance ?PREVIOUSYEAR (YearFn ?PY)) (holdsDuring ?YEAR (equal (PopulationFn ?AREA) ?POPULATION)) (equal (DivisionFn ?POPULATION 1000) ?THOUSANDS) (equal ?IMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (not (inhabits ?PERSON ?AREA))) (holdsDuring ?YEAR (inhabits ?PERSON ?AREA)))))) (equal ?EMMIGRATION (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (holdsDuring ?PREVIOUSYEAR (inhabits ?PERSON ?AREA)) (holdsDuring ?YEAR (not (inhabits ?PERSON ?AREA))))))) (equal (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT) (equal (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 156-187	Year ist ein fall von das jahr Integer %n{nicht} und MigrantsPerThousandFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn ( Integer und Integer) ist gleich 1 %n{nicht} und Entity ist ein fall von das jahr Integer %n{nicht} und PopulationFn GeopoliticalArea ist gleich RealNumber %n{nicht} haelt waehrend Year %n{nicht} und RealNumber und 1000 ist gleich RealNumber %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und Integer ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} und ( Integer und Integer) ist gleich RealNumber %n{nicht} und RealNumber und RealNumber ist gleich RealNumber %n{nicht}
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (PopulationGrowthFn ?AREA ?YEAR) ?ADJUSTEDPERCENT)) (and (equal (SubtractionFn ?Y ?YP) 1) (instance ?PREVIOUSYEAR (YearFn ?YP)) (holdsDuring ?YEAR (equal (PopulationFn ?AREA) ?POPULATION)) (holdsDuring ?PREVIOUSYEAR (equal (PopulationFn ?AREA) ?PREVIOUSPOPULATION)) (equal (DivisionFn ?POPULATION ?PREVIOUSPOPULATION) ?PERCENT) (equal (SubtractionFn ?PERCENT 1) ?ADJUSTEDPERCENT)))	People.kif 52-64	Year ist ein fall von das jahr Integer %n{nicht} und PopulationGrowthFn GeopoliticalArea and Year ist gleich RealNumber %n{nicht} genau dann wenn ( Integer und IntegerP) ist gleich 1 %n{nicht} und TimePosition ist ein fall von das jahr IntegerP %n{nicht} und PopulationFn GeopoliticalArea ist gleich RealNumber %n{nicht} haelt waehrend Year %n{nicht} und PopulationFn GeopoliticalArea ist gleich RealNumber %n{nicht} haelt waehrend TimePosition %n{nicht} und RealNumber und RealNumber ist gleich RealNumber %n{nicht} und ( RealNumber und 1) ist gleich RealNumber %n{nicht}
(<=> (yearOfFounding ?O ?Y) (exists (?F ?YEAR) (and (overlapsTemporally (WhenFn ?F) ?YEAR) (instance ?YEAR (YearFn ?Y)) (instance ?F Founding) (result ?F ?O))))	Mid-level-ontology.kif 968-975	yearOfFounding Organization and Integer genau dann wenn es gibt Process und IntegerEAR um IntegerEAR deckt sich mit die zeit des Bestehens von Process %n{nicht} und IntegerEAR ist ein fall von das jahr Integer %n{nicht} und Process ist ein fall von Founding %n{nicht} und Organization ist ein resultat von Process %n{nicht}
(=> (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 24236-24246	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 619-625	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 14837-14846	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 24195-24206	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}
(=> (yearOfFounding ?O ?Y) (dateEstablished ?O (YearFn ?Y)))	Mid-level-ontology.kif 960-963	Wenn yearOfFounding Organization and Integer, dann dateEstablished Organization and das jahr Integer

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}
(and (instance ?YEAR (YearFn ?Y)) (equal (ChildrenBornPerWomanFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?INFANT (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (agent ?BIRTH ?WOMAN) (instance ?WOMAN Human) (attribute ?WOMAN Female) (holdsDuring ?YEAR (inhabits ?WOMAN ?AREA)))))))	People.kif 456-469	Year ist ein fall von das jahr Integer %n{nicht} und ChildrenBornPerWomanFn GeopoliticalArea and ** Year ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht}
(dateDissolved CoordinatingCommitteeOnExportControls (DayFn 31 (MonthFn March (YearFn 1994))))	Government.kif 2994-2994	dateDissolved CoordinatingCommitteeOnExportControls and der tag 31
(dateDissolved CouncilForMutualEconomicAssistance (DayFn 1 (MonthFn January (YearFn 1991))))	Government.kif 3009-3009	dateDissolved CouncilForMutualEconomicAssistance and der tag 1
(dateDissolved UnitedNationsPreventiveDeploymentForce (DayFn 25 (MonthFn March (YearFn 1999))))	Government.kif 4145-4145	dateDissolved UnitedNationsPreventiveDeploymentForce and der tag 25
(dateDissolved WarsawPact (DayFn 1 (MonthFn July (YearFn 1991))))	Government.kif 4285-4285	dateDissolved WarsawPact and der tag 1
(dateEstablished ASEANRegionalForum (YearFn 1994))	Government.kif 2877-2877	dateEstablished ASEANRegionalForum and das jahr 1994
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates (DayFn 6 (MonthFn June (YearFn 1975))))	Government.kif 2750-2750	dateEstablished AfricanCaribbeanAndPacificGroupOfStates and der tag 6
(dateEstablished AfricanDevelopmentBank (DayFn 4 (MonthFn August (YearFn 1963))))	Government.kif 2757-2757	dateEstablished AfricanDevelopmentBank and der tag 4
(dateEstablished AgencyForTheFrenchSpeakingCommunity (DayFn 20 (MonthFn March (YearFn 1970))))	Government.kif 2771-2771	dateEstablished AgencyForTheFrenchSpeakingCommunity and der tag 20
(dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean (DayFn 14 (MonthFn February (YearFn 1967))))	Government.kif 2778-2778	dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and der tag 14
(dateEstablished AndeanCommunityOfNations (DayFn 26 (MonthFn May (YearFn 1969))))	Government.kif 2796-2796	dateEstablished AndeanCommunityOfNations and der tag 26
(dateEstablished AntarcticTreatyCouncil (DayFn 23 (MonthFn June (YearFn 1961))))	Government.kif 2801-2801	dateEstablished AntarcticTreatyCouncil and der tag 23
(dateEstablished ArabBankForEconomicDevelopmentInAfrica (DayFn 18 (MonthFn February (YearFn 1974))))	Government.kif 2812-2812	dateEstablished ArabBankForEconomicDevelopmentInAfrica and der tag 18
(dateEstablished ArabCooperationCouncil (DayFn 16 (MonthFn February (YearFn 1989))))	Government.kif 2818-2818	dateEstablished ArabCooperationCouncil and der tag 16
(dateEstablished ArabFundForEconomicAndSocialDevelopment (DayFn 16 (MonthFn May (YearFn 1968))))	Government.kif 2824-2824	dateEstablished ArabFundForEconomicAndSocialDevelopment and der tag 16
(dateEstablished ArabLeague (DayFn 22 (MonthFn March (YearFn 1945))))	Government.kif 2833-2833	dateEstablished ArabLeague and der tag 22
(dateEstablished ArabMaghrebUnion (DayFn 17 (MonthFn February (YearFn 1989))))	Government.kif 2842-2842	dateEstablished ArabMaghrebUnion and der tag 17
(dateEstablished ArabMonetaryFund (DayFn 27 (MonthFn April (YearFn 1976))))	Government.kif 2851-2851	dateEstablished ArabMonetaryFund and der tag 27
(dateEstablished AsiaPacificEconomicCooperation (DayFn 7 (MonthFn November (YearFn 1989))))	Government.kif 2857-2857	dateEstablished AsiaPacificEconomicCooperation and der tag 7
(dateEstablished AsianDevelopmentBank (DayFn 19 (MonthFn December (YearFn 1966))))	Government.kif 2863-2863	dateEstablished AsianDevelopmentBank and der tag 19
(dateEstablished AssociationOfSoutheastAsianNations (DayFn 8 (MonthFn August (YearFn 1967))))	Government.kif 2869-2869	dateEstablished AssociationOfSoutheastAsianNations and der tag 8
(dateEstablished AustraliaGroup (YearFn 1984))	Government.kif 2883-2883	dateEstablished AustraliaGroup and das jahr 1984
(dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty (DayFn 1 (MonthFn September (YearFn 1951))))	Government.kif 2889-2889	dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty and der tag 1

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: