|
| (<=> (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 | 地缘政治区域 和 整数 year 的 female 出生预期寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM
|
| (<=> (equal (LastFn ?LIST) ?ITEM) (exists (?NUMBER) (and (equal (ListLengthFn ?LIST) ?NUMBER) (equal (ListOrderFn ?LIST ?NUMBER) ?ITEM)))) |
Mid-level-ontology.kif 6345-6350 | 串列 的 last 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 | 地缘政治区域 和 整数 year 的出生预期 life equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM
|
| (<=> (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 | 地缘政治区域 和 整数 year 的 male 出生估计寿命 equal 实数 若且唯若 有存在 串列 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 另一个 整数 的 instance 和 对所有 那个 串列ITEM
|
| (<=> (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 1549-1560 | 实数 percent 的人在 地理区域 是 民族群组 若且唯若 有存在 群体 和 另一个 群体 这样 客体 是 located 在 那个 地理区域 和 那个 客体 是 那个 民族群组 的 member 和 那个 客体 是 那个 群体 的 member 和 那个 实数1 是 那个 群体 的 member 计数 和 那个 客体2 是 located 在 那个 地理区域 和 那个 客体2 是 那个 另外 群体 的 member 和 那个 实数2 是 那个 另外 群体 的 member 计数 和 那个 实数 和 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 10921-10933 | 有存在 过程 这样 那个 过程 是 借入 的 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 11083-11095 | 有存在 过程 这样 那个 过程 是 购买 的 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 | 地缘政治区域 对 正实数 和 有点 时距 在周期 另一个 地缘政治区域 由部分 export 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 对于 那个 正实数 由部分 那个 另外 地缘政治区域 export 伙伴 在 那个 时间位置 holdsDuring |
| (<=> (exportPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (exportPartnerByRank ?AREA1 ?AREA2 ?NTH))))) |
Economy.kif 2514-2519 | 地缘政治区域 对 正整数 和 有点 时距 在周期 另一个 地缘政治区域 由阶级 export 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 对于 那个 正整数 由阶级 那个 另外 地缘政治区域 export 伙伴 在 那个 时间位置 holdsDuring |
| (<=> (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (exportPartner ?AGENT1 ?AGENT2))))) |
Economy.kif 2391-2396 | 施事体 对于 有点 时距 在周期 另一个 施事体 export 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 另外 施事体 是 那个 施事体 的 export 伙伴 在 那个 时间位置 holdsDuring |
| (<=> (expressedInLanguage ?EXPRESS ?LANGUAGE) (exists (?PROP) (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE))) |
Merge.kif 4397-4400 | 语言式表达 是以 语言 语言表达 若且唯若 有存在 实体 这样 那个 语言式表达 在 那个 语言 语言 表示 那个 实体 |
| (<=> (externalDebtInPeriod ?COUNTRY ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (externalDebt ?COUNTRY ?AMOUNT))))) |
Economy.kif 2778-2783 | 地缘政治区域 是 对于 有点 时距 在周期 货币测量 的 external 债务 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 external 债务 在 那个 时间位置 holdsDuring |
| (<=> (highestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?PERIOD (highestDecileShareOfHouseholdIncome ?AREA ?FRACTION))))) |
Economy.kif 1269-1274 | 实数 是对于 地缘政治区域 在周期 那个 实数 的 highest 平分家庭收入 若且唯若 有存在 实体 这样 那个 实体 是 有点 时距 的 instance 和 那个 实数 是 那个 地缘政治区域 的 highest 平分家庭收入 在 有点 时距 holdsDuring |
| (<=> (holdsDuring ?T (attribute ?A Barefoot)) (holdsDuring ?T (not (exists (?S) (and (instance ?S Shoe) (wears ?A ?S)))))) |
Mid-level-ontology.kif 28295-28303 | Barefoot 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 鞋 的 instance 和 那个 实体 wears 那个 另外 实体 在 那个 时间位置 holdsDuring |
| (<=> (holdsDuring ?T (attribute ?A Naked)) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (wears ?A ?C)))))) |
Mid-level-ontology.kif 28307-28315 | Naked 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 服装 的 instance 和 那个 实体 wears 那个 另外 实体 在 那个 时间位置 holdsDuring |
| (<=> (holdsDuring ?T (attribute ?H Alone)) (not (exists (?H2 ?SI) (and (not (equal ?H ?H2)) (instance ?H2 Agent) (instance ?SI SocialInteraction) (during (WhenFn ?SI) ?T) (involvedInEvent ?SI ?H) (involvedInEvent ?SI ?H2))))) |
Mid-level-ontology.kif 28381-28394 | Alone 是 实体 的 attribute 在 时距 holdsDuring 若且唯若 不存在 那个 实体2 和 过程 这样 那个 实体 不 equal 那个 实体2 和 那个 实体2 是 施事体 的 instance 和 那个 过程 是 社交 的 instance 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 实体 是事件 那个 过程 的 involved 和 那个 实体2 是事件 那个 过程 的 involved |
| (<=> (holdsDuring ?T (attribute ?P Mute)) (not (exists (?S) (and (instance ?S Speaking) (during (WhenFn ?S) ?T) (agent ?S ?P))))) |
Mid-level-ontology.kif 28427-28435 | Mute 是 施事体 的 attribute 在 时距 holdsDuring 若且唯若 不存在 过程 这样 那个 过程 是 说话 的 instance 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 施事体 是 那个 过程 的 agent |
| (<=> (importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (importPartnerByFraction ?AREA1 ?AREA2 ?FRACTION))))) |
Economy.kif 2745-2750 | 地缘政治区域 对 正实数 和 有点 时距 在周期 另一个 地缘政治区域 由一部分 import 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 对于 那个 正实数 由一部分 那个 另外 地缘政治区域 import 伙伴 在 那个 时间位置 holdsDuring |
| (<=> (importPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (importPartnerByRank ?AREA1 ?AREA2 ?NTH))))) |
Economy.kif 2707-2712 | 地缘政治区域 对于 正整数 和 有点 时距 在周期 另一个 地缘政治区域 由阶级 import 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 对于 那个 正整数 由阶级 那个 另外 地缘政治区域 import 伙伴 在 那个 时间位置 holdsDuring |
| (<=> (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (importPartner ?AGENT1 ?AGENT2))))) |
Economy.kif 2677-2682 | 施事体 对于 有点 时距 在 周期 另一个 施事体 import 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 另外 施事体 是 那个 施事体 的 import 伙伴 在 那个 时间位置 holdsDuring |
| (<=> (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (incomeDistributionByGiniIndex ?AREA ?INDEX))))) |
Economy.kif 1308-1313 | 地缘政治区域 对于 有点 时距 在周期 非负实数 基于基尼指数 income 分配 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 非负实数 是 那个 地缘政治区域 基于基尼指数的 income 分配 在 那个 时间位置 holdsDuring |
| (<=> (industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (industrialProductionGrowthRate ?AREA ?RATE))))) |
Economy.kif 1953-1958 | 地缘政治区域 是 对于 有点 时距 在周期 实数 的 industrial 生产成率 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 实数 是 那个 地缘政治区域 的 %industrial 生产速率 在 那个 时间位置 holdsDuring |
| (<=> (inflationRateOfConsumerPricesInPeriod ?AREA ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (inflationRateOfConsumerPrices ?AREA ?FRACTION))))) |
Economy.kif 1348-1353 | 地缘政治区域 是 对于 有点 时距 在周期 实数 的顾客价格的 inflation 速率 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 实数 是 那个 地缘政治区域 的 顾客价格的 inflation 速率 在 那个 时间位置 holdsDuring |
| (<=> (instance ?BONE Bone) (exists (?SKELETON) (and (or (instance ?SKELETON Skeleton) (instance ?SKELETON Exoskeleton)) (part ?BONE ?SKELETON)))) |
Mid-level-ontology.kif 9904-9911 | 客体 是 骨骼 的 instance 若且唯若 有存在 另一个 客体 这样 那个 另外 客体 是 骨架 的 instance 或 那个 另外 客体 是 外骨骼 的 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 11589-11599 | 实体 是 复合物质 的 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 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners