(<=>
(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 |
Anno è un' istanza di l' anno NumeroIntero BirthsPerThousandFn AreaGeopolitica and Anno is uguale a NumeroReale PopulationFn AreaGeopolitica + 1000 is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero + NumeroReale is uguale a NumeroReale |
(<=>
(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 |
Anno è un' istanza di l' anno NumeroIntero DeathsPerThousandFn AreaGeopolitica and Anno is uguale a NumeroReale PopulationFn AreaGeopolitica + 1000 is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero + NumeroReale is uguale a NumeroReale |
(<=>
(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 |
Anno è un' istanza di l' anno NumeroIntero DeathsPerThousandLiveBirthsFn AreaGeopolitica and Anno is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero + 1000 is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero + NumeroReale is uguale a NumeroReale |
(<=>
(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 |
Anno è un' istanza di l' anno NumeroIntero MigrantsPerThousandFn AreaGeopolitica and Anno is uguale a NumeroReale ( NumeroIntero + NumeroIntero is uguale a 1 Entit� è un' istanza di l' anno NumeroIntero PopulationFn AreaGeopolitica is uguale a NumeroReale vales durante Anno NumeroReale + 1000 is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa ( NumeroIntero + NumeroIntero is uguale a NumeroReale NumeroReale + NumeroReale is uguale a NumeroReale |
(<=>
(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 |
Anno è un' istanza di l' anno NumeroIntero PopulationGrowthFn AreaGeopolitica and Anno is uguale a NumeroReale ( NumeroIntero + NumeroInteroP is uguale a 1 PosizioneTemporale è un' istanza di l' anno NumeroInteroP PopulationFn AreaGeopolitica is uguale a NumeroReale vales durante Anno PopulationFn AreaGeopolitica is uguale a NumeroReale vales durante PosizioneTemporale NumeroReale + NumeroReale is uguale a NumeroReale ( NumeroReale + 1 is uguale a NumeroReale |
(<=>
(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 Lista and NumeroReale Lista NumeroInteroPositivo lunghezza di Lista is uguale a lunghezza di Lista 1th elemento di Lista is uguale a 1th elemento di Lista NumeroInteroPositivo NumeroInteroPositivo is uguale a lunghezza di Lista NumeroReale is uguale a NumeroInteroPositivoth elemento di Lista + NumeroInteroPositivo |
(<=>
(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 1528-1539 |
beliefGroupPercentInRegion BeliefGroup, NumeroReale and AreaGeografica InsiemeConcreto InsiemeConcreto, Entit�Concreta, Entit�Concreta2, NumeroReale1 and NumeroReale2 Entit�Concreta è localizzato in AreaGeografica Entit�Concreta è un membro di BeliefGroup Entit�Concreta è un membro di InsiemeConcreto memberCount InsiemeConcreto and NumeroReale1 Entit�Concreta2 è localizzato in AreaGeografica Entit�Concreta2 è un membro di InsiemeConcreto memberCount InsiemeConcreto and NumeroReale2 NumeroReale + 100 is uguale a NumeroReale1 + NumeroReale2 |
(<=>
(compressionRatio ?E ?R)
(and
(minCylinderVolume ?E
(MeasureFn ?MIN ?M))
(maxCylinderVolume ?E
(MeasureFn ?MAX ?M))
(equal ?R
(DivisionFn ?MIN ?MAX)))) |
Cars.kif 1911-1916 |
compressionRatio Engine and NumeroReale minCylinderVolume Engine and NumeroReale Unit�DiMisura(s maxCylinderVolume Engine and Unit�DiMisuraAX Unit�DiMisura(s NumeroReale is uguale a NumeroReale + Unit�DiMisuraAX |
(<=>
(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 AreaGeopolitica is uguale a NumeroReale NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa NumeroIntero + NumeroIntero is uguale a NumeroReale |
(<=>
(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 1547-1558 |
ethnicityPercentInRegion GruppoEtnico, NumeroReale and AreaGeografica InsiemeConcreto InsiemeConcreto, Entit�Concreta, Entit�Concreta2, NumeroReale1 and NumeroReale2 Entit�Concreta è localizzato in AreaGeografica Entit�Concreta è un membro di GruppoEtnico Entit�Concreta è un membro di InsiemeConcreto memberCount InsiemeConcreto and NumeroReale1 Entit�Concreta2 è localizzato in AreaGeografica Entit�Concreta2 è un membro di InsiemeConcreto memberCount InsiemeConcreto and NumeroReale2 NumeroReale + 100 is uguale a NumeroReale1 + NumeroReale2 |
(<=>
(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 1566-1577 |
languagePercentInRegion Linguaggio, NumeroReale and AreaGeografica InsiemeConcreto InsiemeConcreto, AgenteSensibile, AgenteSensibile2, NumeroReale1 and NumeroReale2 AgenteSensibile è localizzato in AreaGeografica AgenteSensibile è un membro di InsiemeConcreto speaksLanguage AgenteSensibile and Linguaggio memberCount InsiemeConcreto and NumeroReale1 AgenteSensibile2 è localizzato in AreaGeografica AgenteSensibile2 è un membro di InsiemeConcreto memberCount InsiemeConcreto and NumeroReale2 NumeroReale + 100 is uguale a NumeroReale1 + NumeroReale2 |
(<=>
(measure ?OBJECT
(MeasureFn ?NUMBER OunceMass))
(measure ?OBJECT
(MeasureFn
(DivisionFn ?NUMBER 16.0) PoundMass))) |
Mid-level-ontology.kif 13353-13358 |
Lamisura Entit�Concreta è NumeroReale OunceMass(s lamisura Entit�Concreta è NumeroReale + 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 5105-5116 |
|
(=>
(and
(equal ?A
(AverageFn ?L))
(greaterThan
(ListLengthFn ?L) 0))
(equal ?A
(DivisionFn
(ListSumFn ?L)
(ListLengthFn ?L)))) |
Merge.kif 3278-3285 |
|
(=>
(and
(equal ?V
(VarianceFn ?L))
(equal ?M
(AverageFn ?L)))
(equal ?V
(DivisionFn
(VarianceAverageFn ?M ?L)
(ListLengthFn ?L)))) |
Weather.kif 1459-1468 |
|
(=>
(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 4066-4098 |
|
(=>
(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 5915-5924 |
|
(=>
(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 ?QUANTITY1 Quantity)
(instance ?QUANTITY2 Quantity))
(equal
(LiftFn ?QUANTITY1 ?QUANTITY2)
(DivisionFn
(SubtractionFn ?QUANTITY1 ?QUANTITY2) ?QUANTITY2))) |
UXExperimentalTerms.kif 4563-4571 |
|
(=>
(and
(instance ?R RadiatingElectromagnetic)
(carrierFrequency ?R
(MeasureFn ?HZ Hertz))
(wavelength ?R
(MeasureFn ?L Meter)))
(equal
(MeasureFn ?L Meter)
(MeasureFn
(DivisionFn 299792458 ?HZ) Meter))) |
ComputingBrands.kif 1570-1577 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |