(<=>
(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 |
年 は 年EAR year 目 の instance では %n MaleLifeExpectancyAtBirthFn 地政学的地域 and 年 は 実数 と equal では %n リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では %n リスト の length は 整数 の instance では %n リストITEM average リスト and 実数 |
(<=>
(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 |
年 は 整数 year 目 の instance では %n BirthsPerThousandFn 地政学的地域 and 年 は 実数 と equal では %n PopulationFn 地政学的地域 + 1000 は 実数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 + 実数 は 実数 と equal では %n |
(<=>
(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 |
年 は 整数 year 目 の instance では %n DeathsPerThousandFn 地政学的地域 and 年 は 実数 と equal では %n PopulationFn 地政学的地域 + 1000 は 実数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 + 実数 は 実数 と equal では %n |
(<=>
(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 |
年 は 整数 year 目 の instance では %n DeathsPerThousandLiveBirthsFn 地政学的地域 and 年 は 実数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 + 1000 は 実数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 + 実数 は 実数 と equal では %n |
(<=>
(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 |
年 は 整数 year 目 の instance では %n FemaleLifeExpectancyAtBirthFn 地政学的地域 and 年 は 実数 と equal では %n リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では %n リスト の length は 整数 の instance では %n リストITEM average リスト and 実数 |
(<=>
(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 |
年 は 整数 year 目 の instance では %n LifeExpectancyAtBirthFn 地政学的地域 and 年 は 実数 と equal では %n リスト 整数, 記号文字列, エンティティー, エンティティー and エンティティー リスト は リスト の instance では %n リスト の length は 整数 の instance では %n リストITEM average リスト and 実数 |
(<=>
(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 |
年 は 整数 year 目 の instance では %n MigrantsPerThousandFn 地政学的地域 and 年 は 実数 と equal では %n ( 整数 + 整数) は 1 と equal では %n エンティティー は 整数 year 目 の instance では %n PopulationFn 地政学的地域 は 実数 と equal では %n は 年 の during holds %n{ない} 実数 + 1000 は 実数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n ( 整数 + 整数) は 実数 と equal では %n 実数 + 実数 は 実数 と equal では %n |
(<=>
(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 地政学的地域 は 実数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 は エンティティー class の instances の数 と equal では %n 整数 + 整数 は 実数 と equal では %n |
(<=>
(lengthOfBroadGaugeRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS BroadGaugeRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 182-189 |
lengthOfBroadGaugeRailway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfCrudeOilPipeline ?AREA ?LENGTH)
(length
(KappaFn ?PIPELINE
(and
(instance ?PIPELINE CrudeOilPipeline)
(located ?PIPELINE ?AREA))) ?LENGTH)) |
Transportation.kif 712-719 |
lengthOfCrudeOilPipeline 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfDualGaugeRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS DualGaugeRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 210-217 |
lengthOfDualGaugeRailway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfElectrifiedRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS ElectrifiedRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 126-133 |
lengthOfElectrifiedRailway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfExpresswaySystem ?AREA ?LENGTH)
(length
(KappaFn ?HIGHWAYS
(and
(instance ?HIGHWAYS Expressway)
(located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 568-575 |
lengthOfExpresswaySystem 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfMultipleTrackRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS MultipleTrackRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 154-161 |
lengthOfMultipleTrackRailway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfNarrowGaugeRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS NarrowGaugeRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 237-244 |
lengthOfNarrowGaugeRailway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfNaturalGasPipeline ?AREA ?LENGTH)
(length
(KappaFn ?PIPELINE
(and
(instance ?PIPELINE NaturalGasPipeline)
(located ?PIPELINE ?AREA))) ?LENGTH)) |
Transportation.kif 735-742 |
lengthOfNaturalGasPipeline 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfPavedHighway ?AREA ?LENGTH)
(length
(KappaFn ?HIGHWAYS
(and
(instance ?HIGHWAYS SurfacedRoadway)
(located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 542-549 |
lengthOfPavedHighway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfPetroleumProductPipeline ?AREA ?LENGTH)
(length
(KappaFn ?PIPELINE
(and
(instance ?PIPELINE PetroleumProductPipeline)
(located ?PIPELINE ?AREA))) ?LENGTH)) |
Transportation.kif 758-765 |
lengthOfPetroleumProductPipeline 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfStandardGaugeRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS StandardGaugeRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 265-272 |
lengthOfStandardGaugeRailway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(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 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(lengthOfUnpavedHighway ?AREA ?LENGTH)
(length
(KappaFn ?HIGHWAYS
(and
(instance ?HIGHWAYS UnsurfacedRoadway)
(located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 601-608 |
lengthOfUnpavedHighway 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(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 地理的地域, AirportWithPavedRunway に対する class and 非負整数 記号文字列 エンティティー cardinality 記号文字列で記述される class and 非負整数 |
(<=>
(totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)
(cardinality
(KappaFn ?ITEM
(and
(instance ?ITEM ?TYPE)
(located ?ITEM ?AREA))) ?COUNT)) |
Transportation.kif 1221-1228 |
totalFacilityTypeInArea 地理的地域, クラス and 非負整数 cardinality エンティティー class and 非負整数 |
(<=>
(totalLengthOfHighwaySystem ?AREA ?LENGTH)
(length
(KappaFn ?HIGHWAYS
(and
(instance ?HIGHWAYS Roadway)
(located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 484-491 |
totalLengthOfHighwaySystem 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
(<=>
(totalLengthOfRailwaySystem ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS Railway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 98-105 |
totalLengthOfRailwaySystem 地理的地域 and 長さ測定 エンティティー class の length は 長さ測定 では |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |