exists

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


(<=>
    (employs ?Org ?Agent)
    (exists (?Employment)
        (and
            (property ?Employment Employment)
            (partyToAgreement ?Employment ?Org)
            (partyToAgreement ?Employment ?Agent))))
FinancialOntology.kif 3277-3283 协议 employs 另一个 协议 若且唯若 有存在 有认知的主事 这样 那个 有认知的主事雇用attribute那个 协议那个 有认知的主事party 协议 和 那个 另外 协议那个 有认知的主事party 协议
(<=>
    (ethnicityPercentInRegion ?BG ?N ?R)
    (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
        (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 1548-1559 实数 percent 的人在 地理区域 民族群组 若且唯若 有存在 群体另一个 群体,, , 物理,, , 那个 物理2,, , 那个 实数1, and 和 那个 实数2 这样 那个 物理located那个 地理区域那个 物理那个 民族群组member那个 物理那个 群体member那个 实数1 是 那个 群体member 计数 和 那个 物理2 是 located那个 地理区域那个 物理2 是 那个 另外 群体member那个 实数2 是 那个 另外 群体member 计数 和 equal 那个 实数 和 100 and 那个 实数1 和 那个 实数2
(<=>
    (exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (exportPartnerByFraction ?AREA1 ?AREA2 ?FRACTION)))))
Economy.kif 2789-2794 地缘政治区域 正实数 有点 时距 在周期 另一个 地缘政治区域 由部分 export 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 地缘政治区域 对于 那个 正实数 由部分 那个 另外 地缘政治区域 export 伙伴 在 那个 时间位置 holdsDuring
(<=>
    (exportPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (exportPartnerByRank ?AREA1 ?AREA2 ?NTH)))))
Economy.kif 2751-2756 地缘政治区域 正整数 有点 时距 在周期 另一个 地缘政治区域 由阶级 export 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 地缘政治区域 对于 那个 正整数 由阶级 那个 另外 地缘政治区域 export 伙伴 在 那个 时间位置 holdsDuring
(<=>
    (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (exportPartner ?AGENT1 ?AGENT2)))))
Economy.kif 2627-2632 施事体 对于 有点 时距 在周期 另一个 施事体 export 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 另外 施事体那个 施事体export 伙伴 在 那个 时间位置 holdsDuring
(<=>
    (externalDebtInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (externalDebt ?COUNTRY ?AMOUNT)))))
Economy.kif 3112-3117 地缘政治区域 是 对于 有点 时距 在周期 货币测量external 债务 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 货币测量那个 地缘政治区域external 债务 在 那个 时间位置 holdsDuring
(<=>
    (highestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (highestDecileShareOfHouseholdIncome ?AREA ?FRACTION)))))
Economy.kif 1370-1375 实数 是对于 地缘政治区域 在周期 那个 实数highest 平分家庭收入 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 实数那个 地缘政治区域highest 平分家庭收入 在 那个 时间位置 holdsDuring
(<=>
    (holdsDuring ?T
        (attribute ?H Alone))
    (not
        (exists (?H2 ?SI)
            (and
                (not
                    (equal ?H ?H2))
                (instance ?H2 AutonomousAgent)
                (instance ?SI SocialInteraction)
                (during
                    (WhenFn ?SI) ?T)
                (involvedInEvent ?SI ?H)
                (involvedInEvent ?SI ?H2)))))
Mid-level-ontology.kif 32141-32154 Alone 实体attribute 时距 holdsDuring 若且唯若 不存在 那个 实体2 和 过程 这样 equal 那个 实体 and 那个 实体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 32189-32197 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 3079-3084 地缘政治区域 正实数 有点 时距 在周期 另一个 地缘政治区域 由一部分 import 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 地缘政治区域 对于 那个 正实数 由一部分 那个 另外 地缘政治区域 import 伙伴 在 那个 时间位置 holdsDuring
(<=>
    (importPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (importPartnerByRank ?AREA1 ?AREA2 ?NTH)))))
Economy.kif 3041-3046 地缘政治区域 对于 正整数 有点 时距 在周期 另一个 地缘政治区域 由阶级 import 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 地缘政治区域 对于 那个 正整数 由阶级 那个 另外 地缘政治区域 import 伙伴 在 那个 时间位置 holdsDuring
(<=>
    (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (importPartner ?AGENT1 ?AGENT2)))))
Economy.kif 3011-3016 施事体 对于 有点 时距 在 周期 另一个 施事体 import 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 另外 施事体那个 施事体import 伙伴 在 那个 时间位置 holdsDuring
(<=>
    (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (incomeDistributionByGiniIndex ?AREA ?INDEX)))))
Economy.kif 1409-1414 地缘政治区域 对于 有点 时距 在周期 非负实数 基于基尼指数 income 分配 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 非负实数那个 地缘政治区域 基于基尼指数的 income 分配 在 那个 时间位置 holdsDuring
(<=>
    (industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (industrialProductionGrowthRate ?AREA ?RATE)))))
Economy.kif 2189-2194 地缘政治区域 是 对于 有点 时距 在周期 实数industrial 生产成率 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 实数那个 地缘政治区域 的 %industrial 生产速率 在 那个 时间位置 holdsDuring
(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))
Mid-level-ontology.kif 13013-13020 客体骨骼instance 若且唯若 有存在 另一个 客体 这样 那个 另外 客体骨架instance那个 另外 客体外骨骼instance那个 客体那个 另外 客体part
(<=>
    (instance ?CS ConjugatedSubstance)
    (exists (?C1 ?C2 ?P)
        (and
            (instance ?C1 CompoundSubstance)
            (instance ?C2 CompoundSubstance)
            (not
                (equal ?C1 ?C2))
            (instance ?P ChemicalSynthesis)
            (resource ?P ?C1)
            (resource ?P ?C2)
            (result ?P ?CS))))
Mid-level-ontology.kif 7415-7425 实体共轭物质instance 若且唯若 有存在 客体另一个 客体, and 和 过程 这样 那个 客体复合物质instance那个 另外 客体复合物质instanceequal 那个 客体 and 那个 另外 客体那个 过程化学合成instance那个 客体那个 过程resource那个 另外 客体那个 过程resource那个 实体那个 过程result
(<=>
    (instance ?Collateral Collateral)
    (exists (?Loan)
        (and
            (instance ?Loan SecuredLoan)
            (securedBy ?Loan ?Collateral))))
FinancialOntology.kif 1337-1342 抵押抵押instance 若且唯若 有存在 金融账户 这样 那个 金融账户担保贷款instance那个 抵押那个 金融账户secured
(<=>
    (instance ?DISTRICT CityDistrict)
    (exists (?CITY)
        (and
            (instance ?CITY City)
            (geopoliticalSubdivision ?DISTRICT ?CITY))))
Mid-level-ontology.kif 9247-9252 地缘政治区域市区instance 若且唯若 有存在 另一个 地缘政治区域 这样 那个 另外 地缘政治区域城市instance那个 地缘政治区域那个 另外 地缘政治区域 的地缘政治部分
(<=>
    (instance ?Hardware ComputerHardware)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (component ?Hardware ?Computer))))
QoSontology.kif 63-68 躯体性物体电脑硬件instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 另外 躯体性物体电脑instance那个 躯体性物体那个 另外 躯体性物体component
(<=>
    (instance ?Index InflationIndex)
    (exists (?Inflation)
        (and
            (instance ?Inflation Inflation)
            (benchmark ?Inflation ?Index))))
FinancialOntology.kif 1685-1690 性能指标通胀指数instance 若且唯若 有存在 抽象体 这样 那个 抽象体Inflationinstance那个 性能指标那个 抽象体benchmark
(<=>
    (instance ?Index StockIndex)
    (exists (?Stock)
        (and
            (instance ?Stock Stock)
            (benchmark ?Index ?Stock))))
FinancialOntology.kif 1713-1718 抽象体股票指数instance 若且唯若 有存在 性能指标 这样 那个 性能指标股票instance那个 性能指标那个 抽象体benchmark
(<=>
    (instance ?Loan SecuredLoan)
    (exists (?Security)
        (securedBy ?Loan ?Security)))
FinancialOntology.kif 1364-1367 金融账户担保贷款instance 若且唯若 有存在 抵押 这样 那个 抵押那个 金融账户secured
(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))
Government.kif 108-115 机构政府组织instance 若且唯若 那个 机构政府instance 或 有存在 另一个 机构 这样 那个 另外 机构政府instance那个 机构那个 另外 机构 Organization 的一部分
(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))
Mid-level-ontology.kif 12275-12281 躯体性物体脊椎动物instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 躯体性物体动物instance那个 另外 躯体性物体那个 躯体性物体component那个 另外 躯体性物体脊柱instance
(<=>
    (laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION)))))
Economy.kif 1544-1549 按职业期间划分的劳动力比例 地缘政治区域, 属性, 实数 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance 和 在 那个 时间位置 holdsDuring

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 3.0 is open source software produced by Articulate Software and its partners