(<=>
(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 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 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 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 24235-24245 |
|
(=>
(and
(birthdate JesusOfNazareth ?DAY)
(instance ?Y1
(YearFn -6))
(instance ?Y2
(YearFn 4)))
(temporalPart ?DAY
(TimeIntervalFn
(BeginFn ?Y1)
(EndFn ?Y2)))) |
Media.kif 1936-1941 |
|
(=>
(and
(commemoratesDate ?HOLIDAY
(DayFn ?DAY
(MonthFn ?MONTH
(YearFn ?YEAR))))
(instance ?DATE ?HOLIDAY)
(instance ?ANYO
(YearFn ?YEAR)))
(not
(earlier ?DATE ?ANYO))) |
Government.kif 612-617 |
|
(=>
(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 |
|
(=>
(and
(deathdate JesusOfNazareth ?DAY)
(instance ?Y1
(YearFn 29))
(instance ?Y2
(YearFn 36)))
(temporalPart ?DAY
(TimeIntervalFn
(BeginFn ?Y1)
(EndFn ?Y2)))) |
Media.kif 1943-1948 |
|
(=>
(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 23915-23931 |
|
(=>
(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 8744-8751 |
|
(=>
(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 8753-8758 |
|
(=>
(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 14836-14845 |
|
(=>
(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 9023-9031 |
|
(=>
(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 8728-8735 |
|
(=>
(and
(instance ?M1
(MonthFn ?N1
(YearFn ?Y)))
(instance ?M2
(MonthFn ?N2
(YearFn ?Y)))
(successorClass ?N1 ?N2))
(earlier ?M1 ?M2)) |
Merge.kif 8737-8742 |
|
(=>
(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 |
|
(=>
(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 |
|
(=>
(and
(instance ?Q QuarterYear)
(instance ?Q
(QuarterFn ?N
(YearFn ?Y)))
(instance ?YI
(YearFn ?Y)))
(during ?Q ?YI)) |
Merge.kif 9002-9007 |
|
(=>
(and
(instance ?T1
(YearFn 26))
(instance ?T2
(YearFn 100)))
(temporalPart
(WhenFn TwelveApostles)
(TimeIntervalFn
(BeginFn ?T1)
(EndFn ?T2)))) |
Media.kif 1959-1963 |
|
(=>
(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 17228-17234 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |