(<=>
(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 |
Anno è un' istanza di l' anno AnnoEAR MaleLifeExpectancyAtBirthFn AreaGeopolitica and Anno is uguale a NumeroReale Lista NumeroIntero, Stringa, Entit�, Entit� and Entit� Lista è un' istanza di Lista lunghezza di Lista è un' istanza di NumeroIntero ListaITEM average Lista and NumeroReale |
(<=>
(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
(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 |
Anno è un' istanza di l' anno NumeroIntero FemaleLifeExpectancyAtBirthFn AreaGeopolitica and Anno is uguale a NumeroReale Lista NumeroIntero, Stringa, Entit�, Entit� and Entit� Lista è un' istanza di Lista lunghezza di Lista è un' istanza di NumeroIntero ListaITEM average Lista and NumeroReale |
(<=>
(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 |
Anno è un' istanza di l' anno NumeroIntero LifeExpectancyAtBirthFn AreaGeopolitica and Anno is uguale a NumeroReale Lista NumeroIntero, Stringa, Entit�, Entit� and Entit� Lista è un' istanza di Lista lunghezza di Lista è un' istanza di NumeroIntero ListaITEM average Lista and 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 |
(<=>
(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 |
(<=>
(lengthOfBroadGaugeRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS BroadGaugeRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 182-189 |
lengthOfBroadGaugeRailway AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza |
(<=>
(lengthOfCrudeOilPipeline ?AREA ?LENGTH)
(length
(KappaFn ?PIPELINE
(and
(instance ?PIPELINE CrudeOilPipeline)
(located ?PIPELINE ?AREA))) ?LENGTH)) |
Transportation.kif 712-719 |
lengthOfCrudeOilPipeline AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza |
(<=>
(lengthOfDualGaugeRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS DualGaugeRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 210-217 |
lengthOfDualGaugeRailway AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza |
(<=>
(lengthOfElectrifiedRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS ElectrifiedRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 126-133 |
lengthOfElectrifiedRailway AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza |
(<=>
(lengthOfExpresswaySystem ?AREA ?LENGTH)
(length
(KappaFn ?HIGHWAYS
(and
(instance ?HIGHWAYS Expressway)
(located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 568-575 |
lengthOfExpresswaySystem AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza |
(<=>
(lengthOfMultipleTrackRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS MultipleTrackRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 154-161 |
lengthOfMultipleTrackRailway AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza |
(<=>
(lengthOfNarrowGaugeRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS NarrowGaugeRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 237-244 |
lengthOfNarrowGaugeRailway AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza |
(<=>
(lengthOfNaturalGasPipeline ?AREA ?LENGTH)
(length
(KappaFn ?PIPELINE
(and
(instance ?PIPELINE NaturalGasPipeline)
(located ?PIPELINE ?AREA))) ?LENGTH)) |
Transportation.kif 735-742 |
lengthOfNaturalGasPipeline AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza |
(<=>
(lengthOfPavedHighway ?AREA ?LENGTH)
(length
(KappaFn ?HIGHWAYS
(and
(instance ?HIGHWAYS SurfacedRoadway)
(located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 542-549 |
lengthOfPavedHighway AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza |
(<=>
(lengthOfPetroleumProductPipeline ?AREA ?LENGTH)
(length
(KappaFn ?PIPELINE
(and
(instance ?PIPELINE PetroleumProductPipeline)
(located ?PIPELINE ?AREA))) ?LENGTH)) |
Transportation.kif 758-765 |
lengthOfPetroleumProductPipeline AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza |
(<=>
(lengthOfStandardGaugeRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS StandardGaugeRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 265-272 |
lengthOfStandardGaugeRailway AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza |
(<=>
(lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(located ?RAILWAYS ?AREA)
(not
(instance ?RAILWAYS
(UnionFn StandardGaugeRailway
(UnionFn BroadGaugeRailway
(UnionFn DualGaugeRailway NarrowGaugeRailway))))))) ?LENGTH)) |
Transportation.kif 294-306 |
lengthOfUnclassifiedGaugeRailway AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza |
(<=>
(lengthOfUnpavedHighway ?AREA ?LENGTH)
(length
(KappaFn ?HIGHWAYS
(and
(instance ?HIGHWAYS UnsurfacedRoadway)
(located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 601-608 |
lengthOfUnpavedHighway AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza |
(<=>
(totalFacilityTypeInArea ?AREA
(ExtensionFn AirportWithPavedRunway) ?COUNT)
(exists (?AIRPORT ?RUNWAY)
(cardinality
(KappaFn ?AIRPORT
(and
(instance ?AIRPORT Airport)
(instance ?RUNWAY PavedRunway)
(part ?RUNWAY ?AIRPORT)
(located ?AIRPORT ?AREA))) ?COUNT))) |
Transportation.kif 1277-1287 |
totalFacilityTypeInArea AreaGeografica, la classe corrispondente a AirportWithPavedRunway and NumeroInteroNonNegativo Stringa Entit� cardinality la classe descritta da Stringa and NumeroInteroNonNegativo |
(<=>
(totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)
(cardinality
(KappaFn ?ITEM
(and
(instance ?ITEM ?TYPE)
(located ?ITEM ?AREA))) ?COUNT)) |
Transportation.kif 1221-1228 |
totalFacilityTypeInArea AreaGeografica, Classe and NumeroInteroNonNegativo cardinality la classe descritta da Stringa and NumeroInteroNonNegativo |
(<=>
(totalLengthOfHighwaySystem ?AREA ?LENGTH)
(length
(KappaFn ?HIGHWAYS
(and
(instance ?HIGHWAYS Roadway)
(located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 484-491 |
totalLengthOfHighwaySystem AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza |
(<=>
(totalLengthOfRailwaySystem ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS Railway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 98-105 |
totalLengthOfRailwaySystem AreaGeografica and MisuraDiLunghezza la lunghezza di la classe descritta da Stringa è MisuraDiLunghezza |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |