exists

-------------------------


(<=>
    (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那个 客体那个 群体membermemberCount 那个 群体 and 那个 实数1 和 那个 客体2 是 located那个 地理区域那个 客体2 是 那个 另外 群体membermemberCount 那个 另外 群体 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 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instanceexportPartnerByFraction 那个 地缘政治区域, 那个 另外 地缘政治区域 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 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instanceexportPartnerByRank 那个 地缘政治区域, 那个 另外 地缘政治区域 and 那个 正整数那个 时间位置 holdsDuring
(<=>
    (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (exportPartner ?AGENT1 ?AGENT2)))))
Economy.kif 2391-2396 exportPartnerInPeriod 施事体, 另一个 施事体 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instanceexportPartner 那个 施事体 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 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instanceexternalDebt 那个 地缘政治区域 and 那个 货币测量那个 时间位置 holdsDuring
(<=>
    (highestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?PERIOD
                (highestDecileShareOfHouseholdIncome ?AREA ?FRACTION)))))
Economy.kif 1269-1274 highestDecileShareOfHouseholdIncomeInPeriod 地缘政治区域, 实数 and 有点 时距 若且唯若 有存在 实体 这样 那个 实体 有点 时距instancehighestDecileShareOfHouseholdIncome 那个 地缘政治区域 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 若且唯若 不存在 另一个 实体 这样 那个 另外 实体Shoeinstance那个 实体 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那个 过程社交instanceinvolvedInEvent 那个 过程 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 若且唯若 不存在 过程 这样 那个 过程Speakinginstance那个 过程 出现 的 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 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instanceimportPartnerByFraction 那个 地缘政治区域, 那个 另外 地缘政治区域 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 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instanceimportPartnerByRank 那个 地缘政治区域, 那个 另外 地缘政治区域 and 那个 正整数那个 时间位置 holdsDuring
(<=>
    (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (importPartner ?AGENT1 ?AGENT2)))))
Economy.kif 2677-2682 importPartnerInPeriod 施事体, 另一个 施事体 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instanceimportPartner 那个 施事体 and 那个 另外 施事体那个 时间位置 holdsDuring
(<=>
    (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (incomeDistributionByGiniIndex ?AREA ?INDEX)))))
Economy.kif 1308-1313 incomeDistributionByGiniIndexInPeriod 地缘政治区域, 非负实数 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instanceincomeDistributionByGiniIndex 那个 地缘政治区域 and 那个 非负实数那个 时间位置 holdsDuring
(<=>
    (industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (industrialProductionGrowthRate ?AREA ?RATE)))))
Economy.kif 1953-1958 industrialProductionGrowthRateInPeriod 地缘政治区域, 实数 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instanceindustrialProductionGrowthRate 那个 地缘政治区域 and 那个 实数那个 时间位置 holdsDuring
(<=>
    (inflationRateOfConsumerPricesInPeriod ?AREA ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (inflationRateOfConsumerPrices ?AREA ?FRACTION)))))
Economy.kif 1348-1353 inflationRateOfConsumerPricesInPeriod 地缘政治区域, 实数 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instanceinflationRateOfConsumerPrices 那个 地缘政治区域 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 若且唯若 有存在 另一个 客体 这样 那个 另外 客体Skeletoninstance那个 另外 客体Exoskeletoninstance那个 客体那个 另外 客体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


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