(<=>
(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 |
(<=>
(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 |
Jahr ist ein fall von das jahr Ganzzahl und MigrantsPerThousandFn geopolitischer Bereich and ** Jahr ist gleich reelle Zahl genau dann wenn (** Ganzzahl und ** Ganzzahl) ist gleich 1 und Wesen ist ein fall von das jahr ** ** Ganzzahl und PopulationFn ** geopolitischer Bereich ist gleich ** reelle Zahl haelt waehrend ** Jahr und ** ** reelle Zahl und 1000 ist gleich ** reelle Zahl und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die ** Zeichenfolge beschreibt und (** ** Ganzzahl und ** ** Ganzzahl) ist gleich ** reelle Zahl und ** ** reelle Zahl und ** ** reelle Zahl ist gleich ** reelle Zahl |
(<=>
(equal
(MaleToFemaleRatioFn ?AREA) ?REALNUMBER)
(and
(equal ?MALECOUNT
(CardinalityFn
(KappaFn ?MALE
(and
(instance ?MALE Human)
(attribute ?MALE Male)
(inhabits ?MALE ?AREA)))))
(equal ?FEMALECOUNT
(CardinalityFn
(KappaFn ?FEMALE
(and
(instance ?FEMALE Human)
(attribute ?FEMALE Female)
(inhabits ?FEMALE ?AREA)))))
(equal
(DivisionFn ?MALECOUNT ?FEMALECOUNT) ?REALNUMBER))) |
People.kif 206-223 |
MaleToFemaleRatioFn geopolitischer Bereich ist gleich reelle Zahl genau dann wenn Ganzzahl ist gleich die Zahl Faellen in die kategorie die Zeichenfolge beschreibt und ** Ganzzahl ist gleich die Zahl Faellen in die kategorie die ** Zeichenfolge beschreibt und ** Ganzzahl und ** ** Ganzzahl ist gleich ** reelle Zahl |
(=>
(and
(chromosomeSetCount ?SUB ?COLL ?I)
(subCollection ?SUB ?COLL))
(equal ?I
(CardinalityFn
(KappaFn ?I
(subCollection ?SUB ?COLL))))) |
VirusProteinAndCellPart.kif 835-842 |
|
(=>
(and
(exactCardinality ?REL ?ARG ?COUNT)
(instance ?REL Predicate))
(exists (?S ?EL @ARGS)
(and
(instance ?S SetOrClass)
(=>
(and
(?REL @ARGS)
(equal ?EL
(ListOrderFn
(ListFn @ARGS) ?ARG)))
(and
(instance ?EL ?S)
(equal
(CardinalityFn ?S) ?COUNT)))))) |
Media.kif 2139-2152 |
|
(=>
(and
(instance ?CITY AmericanCity)
(part ?CITY California)
(not
(equal ?CITY LosAngelesCalifornia)))
(greaterThan
(CardinalityFn
(ResidentFn LosAngelesCalifornia))
(CardinalityFn
(ResidentFn ?CITY)))) |
CountriesAndRegions.kif 812-817 |
|
(=>
(and
(instance ?CITY City)
(part ?CITY France))
(lessThanOrEqualTo
(CardinalityFn
(ResidentFn ?CITY))
(CardinalityFn
(ResidentFn ParisFrance)))) |
CountriesAndRegions.kif 59-65 |
|
(=>
(and
(instance ?COLL Collection)
(forall (?MEMBER)
(=>
(member ?MEMBER ?COLL)
(instance ?MEMBER FinancialTransaction))))
(exists (?ITEM ?BUYING)
(equal
(CardinalityFn
(KappaFn ?ITEM
(and
(instance ?ITEM Physical)
(instance ?BUYING Buying)
(member ?BUYING ?COLL)
(patient ?BUYING ?ITEM))))
(BoughtItemsFn ?COLL)))) |
UXExperimentalTerms.kif 2887-2903 |
|
(=>
(and
(instance ?COLL Collection)
(forall (?MEMBER)
(=>
(member ?MEMBER ?COLL)
(instance ?MEMBER WebListing))))
(equal
(DivisionFn
(CardinalityFn
(exists (?LISTING ?SITE ?ITEM)
(KappaFn ?LISTING
(and
(instance ?LISTING WebListing)
(instance ?SITE WebSite)
(instance ?ITEM Physical)
(member ?LISTING ?COLL)
(patient ?LISTING ?ITEM)
(hostedOn ?LISTING ?SITE)
(exists (?BUYING)
(and
(instance ?BUYING Buying)
(patient ?BUYING ?ITEM)
(eCommerceSite ?BUYING ?SITE)))))))
(CardinalityFn ?COLL))
(BidCountFn ?COLL))) |
UXExperimentalTerms.kif 2845-2870 |
|
(=>
(and
(instance ?COLL Collection)
(forall (?MEMBER)
(=>
(member ?MEMBER ?COLL)
(instance ?MEMBER WebListing))))
(exists (?BIDDING ?ITEM ?LISTING ?BIDDING)
(equal
(CardinalityFn
(KappaFn ?BIDDING
(and
(instance ?ITEM Physical)
(instance ?LISTING WebListing)
(instance ?BIDDING Bidding)
(member ?LISTING ?COLL)
(objectOfBid ?BIDDING ?ITEM)
(patient ?LISTING ?ITEM))))
(BidCountFn ?COLL)))) |
UXExperimentalTerms.kif 2922-2940 |
|
(=>
(and
(instance ?COUNT Counting)
(agent ?COUNT ?AGENT)
(patient ?COUNT ?ENTITY))
(exists (?NUMBER)
(knows ?AGENT
(equal
(CardinalityFn ?ENTITY) ?NUMBER)))) |
Merge.kif 12286-12292 |
|
(=>
(and
(instance ?EXPERIMENT Experimenting)
(instance ?INTERVAL TimeInterval))
(equal
(DivisionFn
(CardinalityFn
(KappaFn ?PURCHASE
(and
(instance ?PURCHASE Buying)
(member ?PURCHASE
(QualifyingPurchasesFn ?EXPERIMENT))
(during
(WhenFn ?PURCHASE) ?INTERVAL))))
(CardinalityFn
(KappaFn ?USER
(and
(member ?USER
(TreatedUsersFn ?EXPERIMENT))
(instance ?ACCESSING AccessingWebPage)
(during
(WhenFn ?ACCESSING) ?INTERVAL)
(agent ?ACCESSING ?USER)))))
(PPIFn ?EXPERIMENT ?INTERVAL))) |
UXExperimentalTerms.kif 3095-3114 |
|
(=>
(and
(instance ?EXPERIMENT Experimenting)
(instance ?INTERVAL TimeInterval))
(equal
(DivisionFn
(CardinalityFn
(KappaFn ?PURCHASE
(and
(instance ?PURCHASE Buying)
(member ?PURCHASE
(QualifyingPurchasesFn ?EXPERIMENT)))))
(CardinalityFn
(KappaFn ?USER
(and
(member ?USER
(TreatedUsersFn ?EXPERIMENT))
(instance ?ACCESSING AccessingWebPage)
(agent ?ACCESSING ?USER)))))
(PPSFn ?EXPERIMENT))) |
UXExperimentalTerms.kif 3056-3073 |
|
(=>
(and
(instance ?MONTH Month)
(duration ?MONTH
(MeasureFn ?NUMBER DayDuration)))
(equal
(CardinalityFn
(TemporalCompositionFn ?MONTH Day)) ?NUMBER)) |
Merge.kif 9599-9603 |
|
(=>
(and
(instance ?PAGE SearchResultsPage)
(instance ?RESULTS SRPResults)
(component ?RESULTS ?PAGE))
(equal
(DivisionFn
(CardinalityFn
(KappaFn ?CLICK
(and
(instance ?CLICK RequestingHyperlink)
(patient ?CLICK ?ELEMENT)
(destination ?CLICK ?LINKEDPAGE)
(instance ?ELEMENT HypertextLink)
(component ?ELEMENT ?PAGE)
(or
(instance ?LINKEDPAGE ProductDescriptionPage)
(instance ?LINKEDPAGE ViewItemPage)))))
(ListLengthFn ?RESULTS))
(SRPEngagementFn ?PAGE))) |
UXExperimentalTerms.kif 3721-3739 |
|
(=>
(and
(instance ?PY Pyramid)
(instance ?POL Polygon)
(faceOfFigure ?POL ?PY)
(sideOfFigure ?S ?POL)
(instance ?T Triangle)
(faceOfFigure ?T ?PY)
(sideOfFigure ?S ?T)
(sideOfIntersection ?POL ?T ?S))
(equal
(CardinalityFn
(KappaFn ?S
(sideOfFigure ?S ?POL)))
(CardinalityFn
(KappaFn ?T
(faceOfFigure ?T ?PY))))) |
Mid-level-ontology.kif 5369-5385 |
|
(=>
(and
(instance ?STATE AmericanState)
(not
(equal ?STATE California)))
(greaterThan
(CardinalityFn
(ResidentFn California))
(CardinalityFn
(ResidentFn ?STATE)))) |
CountriesAndRegions.kif 897-901 |
|
(=>
(and
(instance ?VISITS Collection)
(instance ?HYPERLINK HypertextLink)
(forall (?ACCESSING)
(and
(member ?ACCESSING ?PAGE)
(and
(instance ?ACCESSING AccessingWebPage)
(component ?PAGE ?HYPERLINK)))))
(exists (?CLICKS)
(and
(instance ?CLICKS Collection)
(forall (?CLICK)
(=>
(and
(instance ?CLICK RequestingHyperlink)
(patient ?CLICK ?HYPERLINK))
(member ?CLICK ?CLICKS)))
(equal
(ClickThroughRateFn ?VISITS ?HYPERLINK)
(DivisionFn
(CardinalityFn ?CLICKS)
(CardinalityFn ?VISITS)))))) |
UXExperimentalTerms.kif 3333-3356 |
|
(=>
(and
(instance ?VISITS Collection)
(instance ?PURCHASES Collection)
(subCollection ?PURCHASES ?VISITS)
(forall (?MEMBER)
(=>
(member ?MEMBER ?VISITS)
(instance ?MEMBER AccessingWebPage)))
(forall (?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(and
(instance ?VISITOR Human)
(instance ?BUYING Buying)
(instance ?ACCESSING AccessingWebPage)
(instance ?PAGE WebPage)
(member ?ACCESSING ?VISITS)
(destination ?ACCESSING ?PAGE)
(agent ?BUYING ?VISITOR)
(agent ?ACCESSING ?VISITOR)
(during
(WhenFn ?BUYING)
(WhenFn ?ACCESSING))
(instrument ?BUYING ?PAGE))
(member ?BUYING ?PURCHASES))))
(exists (?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(equal
(SCRFn ?VISITS ?INTERVAL)
(DivisionFn
(CardinalityFn
(KappaFn ?PURCHASE_IN_INTERVAL
(and
(member ?PURCHASE_IN_INTERVAL ?PURCHASES)
(during
(WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(CardinalityFn
(KappaFn ?VISIT_IN_INTERVAL
(and
(member ?VISIT_IN_INTERVAL ?VISITS)
(during
(WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL)))))))) |
UXExperimentalTerms.kif 3668-3704 |
- Wenn Ansammlung ist ein fall von Ansammlung und ** Ansammlung ist ein fall von Ansammlung und ** ** Ansammlung ist eine korrekte teilsammlung von ** Ansammlung und fuer alle koerperlicher Gegenstand und fuer alle Prozess, AutonomousAgent,, , ** Prozess,, , ** Prozess, and und Gegenstand ,
- dann es gibt Zeitabstand, Wesen_IN_INTERVAL, and und ** Wesen_IN_INTERVAL um SCRFn ** Ansammlung and ** Zeitabstand ist gleich die Zahl Faellen in die kategorie die ** Wesen_IN_INTERVAL beschreibt und die Zahl Faellen in die kategorie die ** ** Wesen_IN_INTERVAL beschreibt
|
(=>
(and
(maxCardinality ?REL ?ARG ?COUNT)
(instance ?REL Predicate))
(exists (?S ?EL @ARGS)
(and
(instance ?S SetOrClass)
(=>
(and
(?REL @ARGS)
(equal ?EL
(ListOrderFn
(ListFn @ARGS) ?ARG)))
(and
(instance ?EL ?S)
(lessThanOrEqualTo
(CardinalityFn ?S) ?COUNT)))))) |
Media.kif 2212-2225 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
CardinalityFn