(<=>
(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 |
Jahr ist ein fall von das jahr ** JahrEAR und MaleLifeExpectancyAtBirthFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn es gibt Liste, ** Ganzzahl,, , Zeichenfolge,, , Wesen,, , ** Wesen, and und ** Wesen um ** Liste ist ein fall von Liste und Laenge von ** Liste ist ein fall von ** ** Ganzzahl und fuer alle ** ListeITEM und average ** Liste and ** reelle Zahl |
(<=>
(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 |
Jahr ist ein fall von das jahr Ganzzahl und BirthsPerThousandFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn PopulationFn ** geopolitischer Bereich und 1000 ist gleich ** reelle Zahl und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt und ** ** Ganzzahl und ** ** reelle Zahl ist gleich ** reelle Zahl |
(<=>
(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 |
Jahr ist ein fall von das jahr Ganzzahl und DeathsPerThousandFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn PopulationFn ** geopolitischer Bereich und 1000 ist gleich ** reelle Zahl und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt und ** ** Ganzzahl und ** ** reelle Zahl ist gleich ** reelle Zahl |
(<=>
(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 |
Jahr ist ein fall von das jahr Ganzzahl und DeathsPerThousandLiveBirthsFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt und ** ** Ganzzahl und 1000 ist gleich ** reelle Zahl und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die ** Zeichenfolge beschreibt und ** ** Ganzzahl und ** ** reelle Zahl ist gleich ** reelle Zahl |
(<=>
(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 |
Jahr ist ein fall von das jahr Ganzzahl und FemaleLifeExpectancyAtBirthFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn es gibt Liste, ** Ganzzahl,, , Zeichenfolge,, , Wesen,, , ** Wesen, and und ** Wesen um ** Liste ist ein fall von Liste und Laenge von ** Liste ist ein fall von ** ** Ganzzahl und fuer alle ** ListeITEM und average ** Liste and ** reelle Zahl |
(<=>
(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 |
Jahr ist ein fall von das jahr Ganzzahl und LifeExpectancyAtBirthFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn es gibt Liste, ** Ganzzahl,, , Zeichenfolge,, , Wesen,, , ** Wesen, and und ** Wesen um ** Liste ist ein fall von Liste und Laenge von ** Liste ist ein fall von ** ** Ganzzahl und fuer alle ** ListeITEM und average ** Liste and ** reelle Zahl |
(<=>
(holdsDuring ?T
(attribute ?H Alone))
(not
(exists (?H2 ?SI)
(and
(not
(equal ?H ?H2))
(instance ?H2 AutonomousAgent)
(instance ?SI SocialInteraction)
(during
(WhenFn ?SI) ?T)
(involvedInEvent ?SI ?H)
(involvedInEvent ?SI ?H2))))) |
Mid-level-ontology.kif 32141-32154 |
Alone ist ein attribut von Wesen haelt waehrend Zeitabstand genau dann wenn es gibt nicht ** Wesen2 und Prozess um ** Wesen ist gleich ** Wesen2 nicht und ** Wesen2 ist ein fall von AutonomousAgent und ** Prozess ist ein fall von Sozialunterhaltung und die zeit des Bestehens von ** Prozess geschieht waehrend ** Zeitabstand und involvedInEvent ** Prozess and ** Wesen und involvedInEvent ** Prozess and ** Wesen2 |
(<=>
(holdsDuring ?T
(attribute ?P Mute))
(not
(exists (?S)
(and
(instance ?S Speaking)
(during
(WhenFn ?S) ?T)
(agent ?S ?P))))) |
Mid-level-ontology.kif 32189-32197 |
Mute ist ein attribut von AutonomousAgent haelt waehrend Zeitabstand genau dann wenn es gibt nicht Prozess um ** Prozess ist ein fall von Speaking und die zeit des Bestehens von ** Prozess geschieht waehrend ** Zeitabstand und ** Prozess ist der agent von ** AutonomousAgent |
(=>
(and
(attribute ?H Muslim)
(equal
(WealthFn ?H) ?W))
(modalAttribute
(exists (?Z ?T ?U ?Y ?C)
(and
(instance ?Z Zakat)
(instance ?Y Year)
(during ?Y
(WhenFn ?H))
(holdsDuring ?Y
(attribute ?H FullyFormed))
(agent ?Z ?H)
(patient ?Z ?T)
(monetaryValue ?T
(MeasureFn ?C ?U))
(instance ?U UnitOfCurrency)
(greaterThan ?C
(MultiplicationFn ?W 0.025)))) Obligation)) |
ArabicCulture.kif 204-223 |
|
(=>
(and
(firstTimeBuyers ?INT ?SITE ?COLL)
(member ?MEMBER ?COLL))
(exists (?BUYING)
(and
(instance ?BUYING Buying)
(agent ?BUYING ?MEMBER)
(eCommerceSite ?BUYING ?SITE)
(during
(WhenFn ?BUYING) ?INT)))) |
UXExperimentalTerms.kif 3534-3543 |
|
(=>
(and
(firstTimeSellers ?INT ?SITE ?COLL)
(member ?MEMBER ?COLL))
(exists (?SELLING)
(and
(instance ?SELLING Selling)
(agent ?SELLING ?MEMBER)
(eCommerceSite ?SELLING ?SITE)
(during
(WhenFn ?SELLING) ?INT)))) |
UXExperimentalTerms.kif 3582-3591 |
|
(=>
(and
(holdsDuring ?T
(attribute ?A ?ES))
(actionTendency ?ES ?PI))
(modalAttribute
(exists (?P)
(and
(instance ?P ?PI)
(during
(WhenFn ?P) ?T)
(experiencer ?P ?A))) Likely)) |
emotion.kif 161-172 |
|
(=>
(and
(holdsDuring ?T
(attribute ?H AVPUPainStatus))
(instance ?P Pain)
(during
(WhenFn ?P) ?T)
(experiencer ?P ?H))
(exists (?BM)
(and
(instance ?BM BodyMotion)
(experiencer ?BM ?H)
(during
(WhenFn ?BM) ?T)
(causes ?P ?BM)))) |
Medicine.kif 6488-6500 |
|
(=>
(and
(holdsDuring ?T
(attribute ?H AVPUVerbalStatus))
(instance ?S Speaking)
(destination ?S ?H)
(during
(WhenFn ?S) ?T))
(exists (?IA)
(and
(instance ?IA IntentionalProcess)
(agent ?IA ?H)
(during
(WhenFn ?IA) ?T)
(causes ?S ?IA)))) |
Medicine.kif 6465-6477 |
|
(=>
(and
(holdsDuring ?T
(measure ?C ?S))
(engineIdleSpeed ?E ?S)
(instance ?A Automobile)
(part ?E ?A)
(part ?C ?E))
(modalAttribute
(not
(exists (?P ?GP)
(and
(during ?P ?T)
(instance ?P Pushing)
(destination ?P ?GP)
(part ?GP ?A)))) Likely)) |
Cars.kif 2551-2567 |
|
(=>
(and
(instance ?A AutonomousAgent)
(holdsDuring ?T
(attribute ?A Motionless)))
(not
(exists (?P)
(and
(instance ?P BodyMotion)
(instance ?P IntentionalProcess)
(agent ?P ?A)
(during
(WhenFn ?P) ?T))))) |
Mid-level-ontology.kif 32160-32171 |
|
(=>
(and
(instance ?BS1 BodySegment)
(instance ?BS2 BodySegment)
(connected ?BS1 ?BS2)
(instance ?BM BodyMotion)
(moves ?BM ?BS1))
(modalAttribute
(not
(exists (?BM2)
(and
(instance ?BM2 BodyMotion)
(moves ?BM2 ?BS2)
(during
(WhenFn ?BM2)
(WhenFn ?BM))))) Possibility)) |
Mid-level-ontology.kif 11908-11924 |
|
(=>
(and
(instance ?C CavalryUnit)
(instance ?B Battle)
(agent ?B ?C))
(exists (?P ?V ?T)
(and
(attribute ?P Soldier)
(member ?P ?C)
(instance ?T Transportation)
(agent ?T ?P)
(instance ?V Vehicle)
(patient ?T ?V)
(during ?T ?B)))) |
Mid-level-ontology.kif 9593-9606 |
|
(=>
(and
(instance ?E Afternoon)
(instance ?D Day)
(equal ?E
(AfternoonFn ?D)))
(during ?E ?D)) |
Merge.kif 8953-8958 |
|
(=>
(and
(instance ?E Evening)
(instance ?D Day)
(equal ?E
(EveningFn ?D)))
(during ?E ?D)) |
Merge.kif 9053-9058 |
|
(=>
(and
(instance ?E Morning)
(instance ?D Day)
(equal ?E
(MorningFn ?D)))
(during ?E ?D)) |
Merge.kif 8937-8942 |
|
(=>
(and
(instance ?EC EngineCycle)
(instance ?E InternalCombustionEngine)
(instance ?CC CombustionChamber)
(part ?CC ?E)
(eventLocated ?EC ?E)
(instance ?U UnitOfVolume)
(holdsDuring
(WhenFn ?EC)
(maxCylinderVolume ?E
(MeasureFn ?V1 ?U))))
(not
(exists (?V2 ?T)
(and
(during ?T
(WhenFn ?EC))
(holdsDuring ?T
(measure ?CC
(MeasureFn ?V2 ?U)))
(greaterThan ?V2 ?V1))))) |
Cars.kif 1882-1901 |
|
(=>
(and
(instance ?EC EngineCycle)
(instance ?E InternalCombustionEngine)
(instance ?CC CombustionChamber)
(part ?CC ?E)
(eventLocated ?EC ?E)
(instance ?U UnitOfVolume)
(holdsDuring
(WhenFn ?EC)
(minCylinderVolume ?E
(MeasureFn ?V1 ?U))))
(not
(exists (?V2 ?T)
(and
(during ?T
(WhenFn ?EC))
(holdsDuring ?T
(measure ?CC
(MeasureFn ?V2 ?U)))
(greaterThan ?V1 ?V2))))) |
Cars.kif 1852-1871 |
|
(=>
(and
(instance ?EC EngineCycle)
(instance ?E InternalCombustionEngine)
(instance ?P Piston)
(instance ?U UnitOfLength)
(part ?P ?E)
(patient ?EC ?P)
(eventLocated ?EC ?E)
(pistonStroke ?E
(MeasureFn ?LM ?U)))
(not
(exists (?T1 ?T2 ?L1 ?L2 ?D)
(and
(during ?T1
(WhenFn ?EC))
(during ?T2
(WhenFn ?EC))
(holdsDuring ?T1
(located ?P ?L1))
(holdsDuring ?T2
(located ?P ?L2))
(distance ?L1 ?L2
(MeasureFn ?D ?U))
(greaterThan ?D ?LM))))) |
Cars.kif 1927-1949 |
|
(=>
(and
(instance ?ELT ExperiencingDiscomfortInTheStomach)
(experiencer ?ELT ?A))
(exists (?P ?PAIN ?T)
(and
(instance ?P Perception)
(during
(WhenFn ?P)
(WhenFn ?PAIN))
(instance ?PAIN Pain)
(experiencer ?PAIN ?A)
(subProcess ?P ?ELT)
(agent ?P ?A)
(patient ?P ?T)
(instance ?T Stomach)
(part ?T ?A)))) |
emotion.kif 1583-1597 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
