(<=>
(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 |
Ann�e est une instance de l' ann�e nombre entier equal BirthsPerThousandFn secteur g�opolitique and ann�e and nombre r�el equal PopulationFn secteur g�opolitique + 1000 and nombre r�el equal nombre entier and le nombre d' instances dans la classe d�crite par cha�ne sympbolique equal nombre entier + nombre r�el and nombre r�el |
(<=>
(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 |
Ann�e est une instance de l' ann�e nombre entier equal DeathsPerThousandFn secteur g�opolitique and ann�e and nombre r�el equal PopulationFn secteur g�opolitique + 1000 and nombre r�el equal nombre entier and le nombre d' instances dans la classe d�crite par cha�ne sympbolique equal nombre entier + nombre r�el and nombre r�el |
(<=>
(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 |
Ann�e est une instance de l' ann�e nombre entier equal DeathsPerThousandLiveBirthsFn secteur g�opolitique and ann�e and nombre r�el equal nombre entier and le nombre d' instances dans la classe d�crite par cha�ne sympbolique equal nombre entier + 1000 and nombre r�el equal nombre entier and le nombre d' instances dans la classe d�crite par cha�ne sympbolique equal nombre entier + nombre r�el and nombre r�el |
(<=>
(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 |
Ann�e est une instance de l' ann�e nombre entier equal MigrantsPerThousandFn secteur g�opolitique and ann�e and nombre r�el equal ( nombre entier + nombre entier) and 1 entit� est une instance de l' ann�e nombre entier equal PopulationFn secteur g�opolitique and nombre r�el pendant ann�e equal nombre r�el + 1000 and nombre r�el equal nombre entier and le nombre d' instances dans la classe d�crite par cha�ne sympbolique equal nombre entier and le nombre d' instances dans la classe d�crite par cha�ne sympbolique equal ( nombre entier + nombre entier) and nombre r�el equal nombre r�el + nombre r�el and nombre r�el |
(<=>
(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 |
Ann�e est une instance de l' ann�e nombre entier equal PopulationGrowthFn secteur g�opolitique and ann�e and nombre r�el equal ( nombre entier + nombre entierP) and 1 position temporel est une instance de l' ann�e nombre entierP equal PopulationFn secteur g�opolitique and nombre r�el pendant ann�e equal PopulationFn secteur g�opolitique and nombre r�el pendant position temporel equal nombre r�el + nombre r�el and nombre r�el equal ( nombre r�el + 1) and nombre r�el |
(<=>
(average ?LIST1 ?AVERAGE)
(exists (?LIST2 ?LASTPLACE)
(and
(equal
(ListLengthFn ?LIST2)
(ListLengthFn ?LIST1))
(equal
(ListOrderFn ?LIST2 1)
(ListOrderFn ?LIST1 1))
(forall (?ITEMFROM2)
(=>
(inList ?ITEMFROM2 ?LIST2)
(exists (?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
(and
(greaterThan ?POSITION 1)
(lessThanOrEqualTo ?POSITION
(ListLengthFn ?LIST2))
(equal
(ListOrderFn ?LIST2 ?ITEMFROM2) ?POSITION)
(inList ?ITEMFROM1 ?LIST1)
(equal ?POSITION
(ListOrderFn ?LIST1 ?ITEMFROM1))
(inList ?PRIORFROM2 ?LIST2)
(equal ?POSITIONMINUSONE
(SubtractionFn ?POSITION 1))
(equal ?POSITIONMINUSONE
(ListOrderFn ?LIST2 ?PRIORFROM2))
(equal ?ITEMFROM2
(AdditionFn ?ITEMFROM1 ?PRIORFROM2))))))
(equal ?LASTPLACE
(ListLengthFn ?LIST2))
(equal ?AVERAGE
(DivisionFn
(ListOrderFn ?LIST2 ?LASTPLACE) ?LASTPLACE))))) |
People.kif 272-293 |
average liste and nombre r�el liste nombre entier positif equal longueur de liste and longueur de liste equal 1th liste and 1th liste nombre entier positif equal nombre entier positif and longueur de liste equal nombre r�el and nombre entier positifth liste + nombre entier positif |
(<=>
(beliefGroupPercentInRegion ?BG ?N ?R)
(exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
(and
(located ?P ?R)
(member ?P ?BG)
(member ?P ?G1)
(memberCount ?G1 ?N1)
(located ?P2 ?R)
(member ?P2 ?G2)
(memberCount ?G2 ?N2)
(equal
(DivisionFn ?N 100)
(DivisionFn ?N1 ?N2))))) |
People.kif 1529-1540 |
beliefGroupPercentInRegion BeliefGroup, nombre r�el and secteur g�ographique collection collection, physique, physique2, nombre r�el1 and nombre r�el2 physique est situ� � secteur g�ographique physique est un membre de BeliefGroup physique est un membre de collection memberCount collection and nombre r�el1 physique2 est situ� � secteur g�ographique physique2 est un membre de collection memberCount collection and nombre r�el2 equal nombre r�el + 100 and nombre r�el1 + nombre r�el2 |
(<=>
(compressionRatio ?E ?R)
(and
(minCylinderVolume ?E
(MeasureFn ?MIN ?M))
(maxCylinderVolume ?E
(MeasureFn ?MAX ?M))
(equal ?R
(DivisionFn ?MIN ?MAX)))) |
Cars.kif 1912-1917 |
compressionRatio Engine and nombre r�el minCylinderVolume Engine and nombre r�el unit� de mesure(s) maxCylinderVolume Engine and unit� de mesureAX unit� de mesure(s) equal nombre r�el and nombre r�el + unit� de mesureAX |
(<=>
(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 |
equal MaleToFemaleRatioFn secteur g�opolitique and nombre r�el equal nombre entier and le nombre d' instances dans la classe d�crite par cha�ne sympbolique equal nombre entier and le nombre d' instances dans la classe d�crite par cha�ne sympbolique equal nombre entier + nombre entier and nombre r�el |
(<=>
(ethnicityPercentInRegion ?BG ?N ?R)
(exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
(and
(located ?P ?R)
(member ?P ?BG)
(member ?P ?G1)
(memberCount ?G1 ?N1)
(located ?P2 ?R)
(member ?P2 ?G2)
(memberCount ?G2 ?N2)
(equal
(DivisionFn ?N 100)
(DivisionFn ?N1 ?N2))))) |
People.kif 1548-1559 |
ethnicityPercentInRegion groupe ethnique, nombre r�el and secteur g�ographique collection collection, physique, physique2, nombre r�el1 and nombre r�el2 physique est situ� � secteur g�ographique physique est un membre de groupe ethnique physique est un membre de collection memberCount collection and nombre r�el1 physique2 est situ� � secteur g�ographique physique2 est un membre de collection memberCount collection and nombre r�el2 equal nombre r�el + 100 and nombre r�el1 + nombre r�el2 |
(<=>
(languagePercentInRegion ?L ?N ?R)
(exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
(and
(located ?P ?R)
(member ?P ?G1)
(speaksLanguage ?P ?L)
(memberCount ?G1 ?N1)
(located ?P2 ?R)
(member ?P2 ?G2)
(memberCount ?G2 ?N2)
(equal
(DivisionFn ?N 100)
(DivisionFn ?N1 ?N2))))) |
People.kif 1567-1578 |
languagePercentInRegion langage, nombre r�el and secteur g�ographique collection collection, sentient agent, sentient agent2, nombre r�el1 and nombre r�el2 sentient agent est situ� � secteur g�ographique sentient agent est un membre de collection speaksLanguage sentient agent and langage memberCount collection and nombre r�el1 sentient agent2 est situ� � secteur g�ographique sentient agent2 est un membre de collection memberCount collection and nombre r�el2 equal nombre r�el + 100 and nombre r�el1 + nombre r�el2 |
(<=>
(measure ?OBJECT
(MeasureFn ?NUMBER OunceMass))
(measure ?OBJECT
(MeasureFn
(DivisionFn ?NUMBER 16.0) PoundMass))) |
Mid-level-ontology.kif 14665-14670 |
La mesure de physique est nombre r�el OunceMass(s) la mesure de physique est nombre r�el + 16.0 PoundMass(s) |
(=>
(and
(equal
(RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
(not
(equal ?NUMBER2 0)))
(equal
(AdditionFn
(MultiplicationFn
(FloorFn
(DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1)) |
Merge.kif 5132-5143 |
|
(=>
(and
(equal ?A
(AverageFn ?L))
(greaterThan
(ListLengthFn ?L) 0))
(equal ?A
(DivisionFn
(ListSumFn ?L)
(ListLengthFn ?L)))) |
Merge.kif 3290-3297 |
|
(=>
(and
(equal ?V
(VarianceFn ?L))
(equal ?M
(AverageFn ?L)))
(equal ?V
(DivisionFn
(VarianceAverageFn ?M ?L)
(ListLengthFn ?L)))) |
Weather.kif 2200-2209 |
|
(=>
(and
(gearToothCount ?G1 ?I1)
(gearToothCount ?G2 ?I2)
(gearRatio ?G1 ?G2 ?R))
(equal ?R
(DivisionFn ?I1 ?I2))) |
engineering.kif 876-882 |
|
(=>
(and
(instance ?A AstronomicalBody)
(approximateDiameter ?A
(MeasureFn ?D ?U))
(instance ?U UnitOfLength)
(instance ?P PointInSpace)
(part ?P ?A))
(exists (?C)
(and
(equal ?C
(CenterOfPlanetFn ?A))
(distance ?C ?P
(MeasureFn
(DivisionFn ?D 2.0) ?U))))) |
Mid-level-ontology.kif 27453-27467 |
|
(=>
(and
(instance ?BTS BimetalTemperatureSensor)
(instance ?M1 Metal)
(instance ?M2 Metal)
(not
(equal ?M1 ?M2))
(part ?M1 ?BTS)
(part ?M2 ?BTS)
(instance ?T1 TemperatureMeasure)
(instance ?T2 TemperatureMeasure)
(instance ?L1 LengthMeasure)
(instance ?L2 LengthMeasure)
(instance ?L3 LengthMeasure)
(instance ?L4 LengthMeasure)
(not
(equal ?T1 ?T2))
(not
(equal ?TM1 ?TM2))
(holdsDuring ?TM1
(and
(measure ?BTS ?T1)
(measure ?M1 ?L1)
(measure ?M2 ?L2)))
(holdsDuring ?TM2
(and
(measure ?BTS ?T2)
(measure ?M1 ?L3)
(measure ?M2 ?L4))))
(not
(equal
(DivisionFn ?L1 ?L2)
(DivisionFn ?L3 ?L4)))) |
Cars.kif 4142-4174 |
|
(=>
(and
(instance ?BUYINGS Collection)
(instance ?GMB CurrencyMeasure)
(instance ?TOTAL RealNumber)
(equal ?GMB
(GMBFn ?BUYINGS))
(equal ?TOTAL
(CardinalityFn
(KappaFn ?ITEM
(and
(instance ?ITEM Object)
(exists (?BUYING)
(and
(member ?BUYING ?BUYINGS)
(patient ?BUYING ?ITEM))))))))
(equal
(ABPFn ?BUYINGS)
(DivisionFn ?GMB ?TOTAL))) |
UXExperimentalTerms.kif 3239-3259 |
|
(=>
(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 ?EC EngineChoke)
(holdsDuring ?FSC1
(attribute ?EC DeviceOn))
(holdsDuring ?FSC2
(attribute ?EC DeviceOff))
(instance ?C EngineCylinder)
(capacity ?C ?M)
(instance ?FSC1 FourStrokeCompression)
(instance ?FSC2 FourStrokeCompression)
(eventLocated ?FSC1 ?C)
(eventLocated ?FSC2 ?C)
(instance ?A1 Air)
(instance ?F1 Fuel)
(part ?A1 ?MIX1)
(part ?F1 ?MIX1)
(measure ?MIX1 ?M)
(instance ?A2 Air)
(instance ?F2 Fuel)
(part ?A2 ?MIX2)
(part ?F2 ?MIX2)
(measure ?MIX2 ?M)
(instance ?U UnitOfMeasure)
(measure ?A1
(MeasureFn ?A1M ?U))
(measure ?A2
(MeasureFn ?A2M ?U))
(measure ?F1
(MeasureFn ?F1M ?U))
(measure ?F2
(MeasureFn ?F2M ?U)))
(greaterThan
(DivisionFn ?A2M ?F2M)
(DivisionFn ?A1M ?F1M))) |
Cars.kif 1314-1348 |
|
(=>
(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 ?H HumanAdult)
(measure ?H
(MeasureFn ?N Pounds)))
(and
(bloodVolume ?H
(MeasureFn ?N2 Liter))
(equal ?N2
(DivisionFn
(MultiplicationFn ?N 0.07) 2.33)))) |
Medicine.kif 5931-5940 |
|
(=>
(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 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
