(<=>
(equal
(FemaleLifeExpectancyAtBirthFn ?AREA
(YearFn ?YEAR)) ?REALNUMBER)
(exists (?LIST)
(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)
(YearFn ?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 411-442 |
FemaleLifeExpectancyAtBirthFn 地缘政治区域 and 整数 year equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM 和 average 那个 串列 and 那个 实数 |
(<=>
(equal
(LastFn ?LIST) ?ITEM)
(exists (?NUMBER)
(and
(equal
(ListLengthFn ?LIST) ?NUMBER)
(equal
(ListOrderFn ?LIST ?NUMBER) ?ITEM)))) |
Mid-level-ontology.kif 6346-6351 |
LastFn 串列 equal 实体 若且唯若 有存在 正整数 这样 那个 串列 的长度 equal 那个 正整数 和 那个 串列 的第 那个 正整数 几个元素 equal 那个 实体 |
(<=>
(equal
(LifeExpectancyAtBirthFn ?AREA
(YearFn ?YEAR)) ?REALNUMBER)
(exists (?LIST)
(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)
(YearFn ?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 323-353 |
LifeExpectancyAtBirthFn 地缘政治区域 and 整数 year equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM 和 average 那个 串列 and 那个 实数 |
(<=>
(equal
(MaleLifeExpectancyAtBirthFn ?AREA
(YearFn ?YEAR)) ?REALNUMBER)
(exists (?LIST)
(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)
(YearFn ?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 367-398 |
MaleLifeExpectancyAtBirthFn 地缘政治区域 and 整数 year equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM 和 average 那个 串列 and 那个 实数 |
(<=>
(ethnicityPercentInRegion ?BG ?N ?R)
(exists (?G1 ?G2)
(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 1545-1556 |
ethnicityPercentInRegion 民族群组, 实数 and 地理区域 若且唯若 有存在 群体 和 另一个 群体 这样 客体 是 located 在 那个 地理区域 和 那个 客体 是 那个 民族群组 的 member 和 那个 客体 是 那个 群体 的 member 和 memberCount 那个 群体 and 那个 实数1 和 那个 客体2 是 located 在 那个 地理区域 和 那个 客体2 是 那个 另外 群体 的 member 和 memberCount 那个 另外 群体 and 那个 实数2 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2 |
(<=>
(exists (?BORROW)
(and
(instance ?BORROW Borrowing)
(agent ?BORROW ?AGENT1)
(origin ?BORROW ?AGENT2)
(patient ?BORROW ?OBJECT)))
(exists (?LEND)
(and
(instance ?LEND Lending)
(agent ?LEND ?AGENT2)
(destination ?LEND ?AGENT1)
(patient ?LEND ?OBJECT)))) |
Merge.kif 11691-11703 |
有存在 过程 这样 那个 过程 是 借入 的 instance 和 施事体 是 那个 过程 的 agent 和 另一个 施事体 是 那个 过程 的源头 和 实体 是 那个 过程 的 patient 若且唯若 有存在 另一个 过程 这样 那个 另外 过程 是 借出 的 instance 和 那个 另外 施事体 是 那个 另外 过程 的 agent 和 那个 另外 过程 在 那个 施事体 结束 和 那个 实体 是 那个 另外 过程 的 patient |
(<=>
(exists (?BUY)
(and
(instance ?BUY Buying)
(agent ?BUY ?AGENT1)
(origin ?BUY ?AGENT2)
(patient ?BUY ?OBJECT)))
(exists (?SELL)
(and
(instance ?SELL Selling)
(agent ?SELL ?AGENT2)
(destination ?SELL ?AGENT1)
(patient ?SELL ?OBJECT)))) |
Merge.kif 11872-11884 |
有存在 过程 这样 那个 过程 是 购买 的 instance 和 施事体 是 那个 过程 的 agent 和 另一个 施事体 是 那个 过程 的源头 和 实体 是 那个 过程 的 patient 若且唯若 有存在 另一个 过程 这样 那个 另外 过程 是 出售 的 instance 和 那个 另外 施事体 是 那个 另外 过程 的 agent 和 那个 另外 过程 在 那个 施事体 结束 和 那个 实体 是 那个 另外 过程 的 patient |
(<=>
(exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(exportPartnerByFraction ?AREA1 ?AREA2 ?FRACTION))))) |
Economy.kif 2552-2557 |
exportPartnerByFractionInPeriod 地缘政治区域, 另一个 地缘政治区域, 正实数 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 exportPartnerByFraction 那个 地缘政治区域, 那个 另外 地缘政治区域 and 那个 正实数 在 那个 时间位置 holdsDuring |
(<=>
(exportPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(exportPartnerByRank ?AREA1 ?AREA2 ?NTH))))) |
Economy.kif 2514-2519 |
exportPartnerByRankInPeriod 地缘政治区域, 另一个 地缘政治区域, 正整数 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 exportPartnerByRank 那个 地缘政治区域, 那个 另外 地缘政治区域 and 那个 正整数 在 那个 时间位置 holdsDuring |
(<=>
(exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(exportPartner ?AGENT1 ?AGENT2))))) |
Economy.kif 2391-2396 |
exportPartnerInPeriod 施事体, 另一个 施事体 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 exportPartner 那个 施事体 and 那个 另外 施事体 在 那个 时间位置 holdsDuring |
(<=>
(expressedInLanguage ?EXPRESS ?LANGUAGE)
(exists (?PROP)
(representsInLanguage ?EXPRESS ?PROP ?LANGUAGE))) |
Merge.kif 4766-4769 |
语言式表达 是以 语言 语言表达 若且唯若 有存在 实体 这样 那个 语言式表达 在 那个 语言 语言 表示 那个 实体 |
(<=>
(externalDebtInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(externalDebt ?COUNTRY ?AMOUNT))))) |
Economy.kif 2778-2783 |
externalDebtInPeriod 地缘政治区域, 货币测量 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 externalDebt 那个 地缘政治区域 and 那个 货币测量 在 那个 时间位置 holdsDuring |
(<=>
(highestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?PERIOD
(highestDecileShareOfHouseholdIncome ?AREA ?FRACTION))))) |
Economy.kif 1269-1274 |
highestDecileShareOfHouseholdIncomeInPeriod 地缘政治区域, 实数 and 有点 时距 若且唯若 有存在 实体 这样 那个 实体 是 有点 时距 的 instance 和 highestDecileShareOfHouseholdIncome 那个 地缘政治区域 and 那个 实数 在 那个 有点 时距 holdsDuring |
(<=>
(holdsDuring ?T
(attribute ?A Barefoot))
(holdsDuring ?T
(not
(exists (?S)
(and
(instance ?S Shoe)
(wears ?A ?S)))))) |
Mid-level-ontology.kif 28289-28297 |
Barefoot 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 Shoe 的 instance 和 那个 实体 wears 那个 另外 实体 在 那个 时间位置 holdsDuring |
(<=>
(holdsDuring ?T
(attribute ?A Naked))
(holdsDuring ?T
(not
(exists (?C)
(and
(instance ?C Clothing)
(wears ?A ?C)))))) |
Mid-level-ontology.kif 28301-28309 |
Naked 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 服装 的 instance 和 那个 实体 wears 那个 另外 实体 在 那个 时间位置 holdsDuring |
(<=>
(holdsDuring ?T
(attribute ?P Alone))
(not
(exists (?H2 ?SI)
(and
(not
(equal ?H ?H2))
(instance ?H2 Agent)
(instance ?SI SocialInteraction)
(involvedInEvent ?SI ?H)
(involvedInEvent ?SI ?H2))))) |
Mid-level-ontology.kif 28374-28385 |
Alone 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 和 过程 这样 第三 实体 不 equal 那个 另外 实体 和 那个 另外 实体 是 施事体 的 instance 和 那个 过程 是 社交 的 instance 和 involvedInEvent 那个 过程 and 那个 第三 实体 和 involvedInEvent 那个 过程 and 那个 另外 实体 |
(<=>
(holdsDuring ?T
(attribute ?P Mute))
(not
(exists (?S)
(and
(instance ?S Speaking)
(during
(WhenFn ?S) ?T)
(agent ?S ?P))))) |
Mid-level-ontology.kif 28418-28426 |
Mute 是 施事体 的 attribute 在 时距 holdsDuring 若且唯若 不存在 过程 这样 那个 过程 是 Speaking 的 instance 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 施事体 是 那个 过程 的 agent |
(<=>
(importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartnerByFraction ?AREA1 ?AREA2 ?FRACTION))))) |
Economy.kif 2745-2750 |
importPartnerByFractionInPeriod 地缘政治区域, 另一个 地缘政治区域, 正实数 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 importPartnerByFraction 那个 地缘政治区域, 那个 另外 地缘政治区域 and 那个 正实数 在 那个 时间位置 holdsDuring |
(<=>
(importPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartnerByRank ?AREA1 ?AREA2 ?NTH))))) |
Economy.kif 2707-2712 |
importPartnerByRankInPeriod 地缘政治区域, 另一个 地缘政治区域, 正整数 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 importPartnerByRank 那个 地缘政治区域, 那个 另外 地缘政治区域 and 那个 正整数 在 那个 时间位置 holdsDuring |
(<=>
(importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(importPartner ?AGENT1 ?AGENT2))))) |
Economy.kif 2677-2682 |
importPartnerInPeriod 施事体, 另一个 施事体 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 importPartner 那个 施事体 and 那个 另外 施事体 在 那个 时间位置 holdsDuring |
(<=>
(incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(incomeDistributionByGiniIndex ?AREA ?INDEX))))) |
Economy.kif 1308-1313 |
incomeDistributionByGiniIndexInPeriod 地缘政治区域, 非负实数 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 incomeDistributionByGiniIndex 那个 地缘政治区域 and 那个 非负实数 在 那个 时间位置 holdsDuring |
(<=>
(industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(industrialProductionGrowthRate ?AREA ?RATE))))) |
Economy.kif 1953-1958 |
industrialProductionGrowthRateInPeriod 地缘政治区域, 实数 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 industrialProductionGrowthRate 那个 地缘政治区域 and 那个 实数 在 那个 时间位置 holdsDuring |
(<=>
(inflationRateOfConsumerPricesInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(inflationRateOfConsumerPrices ?AREA ?FRACTION))))) |
Economy.kif 1348-1353 |
inflationRateOfConsumerPricesInPeriod 地缘政治区域, 实数 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 inflationRateOfConsumerPrices 那个 地缘政治区域 and 那个 实数 在 那个 时间位置 holdsDuring |
(<=>
(instance ?BONE Bone)
(exists (?SKELETON)
(and
(or
(instance ?SKELETON Skeleton)
(instance ?SKELETON Exoskeleton))
(part ?BONE ?SKELETON)))) |
Mid-level-ontology.kif 9901-9908 |
客体 是 骨骼 的 instance 若且唯若 有存在 另一个 客体 这样 那个 另外 客体 是 Skeleton 的 instance 或 那个 另外 客体 是 Exoskeleton 的 instance 和 那个 客体 是 那个 另外 客体 的 part |
(<=>
(instance ?COMPOUND CompoundSubstance)
(exists (?ELEMENT1 ?ELEMENT2 ?PROCESS)
(and
(instance ?ELEMENT1 ElementalSubstance)
(instance ?ELEMENT2 ElementalSubstance)
(not
(equal ?ELEMENT1 ?ELEMENT2))
(instance ?PROCESS ChemicalSynthesis)
(resource ?PROCESS ?ELEMENT1)
(resource ?PROCESS ?ELEMENT2)
(result ?PROCESS ?COMPOUND)))) |
Merge.kif 12449-12459 |
实体 是 复合物质 的 instance 若且唯若 有存在 客体， 另一个 客体， and 和 过程 这样 那个 客体 是 元素物质 的 instance 和 那个 另外 客体 是 元素物质 的 instance 和 那个 客体 不 equal 那个 另外 客体 和 那个 过程 是 化学合成 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 另外 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
