(<=>     (employs ?Org ?Agent)     (exists (?Employment)         (and             (property ?Employment Employment)             (partyToAgreement ?Employment ?Org)             (partyToAgreement ?Employment ?Agent))))	FinancialOntology.kif 3260-3266	协议 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 1547-1558	实数 percent 的人在 地理区域 是 民族群组 若且唯若 有存在 群体， 另一个 群体,， ， 物理,， ， 那个 物理2,， ， 那个 实数1， and 和 那个 实数2 这样 那个 物理 是 located 在 那个 地理区域 和 那个 物理 是 那个 民族群组 的 member 和 那个 物理 是 那个 群体 的 member 和 那个 实数1 是 那个 群体 的 member 计数 和 那个 物理2 是 located 在 那个 地理区域 和 那个 物理2 是 那个 另外 群体 的 member 和 那个 实数2 是 那个 另外 群体 的 member 计数 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2
(<=>     (exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (exportPartnerByFraction ?AREA1 ?AREA2 ?FRACTION)))))	Economy.kif 2549-2554	地缘政治区域 对 正实数 和 有点 时距 在周期 另一个 地缘政治区域 由部分 export 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 对于 那个 正实数 由部分 那个 另外 地缘政治区域 export 伙伴 在 那个 时间位置 holdsDuring
(<=>     (exportPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (exportPartnerByRank ?AREA1 ?AREA2 ?NTH)))))	Economy.kif 2511-2516	地缘政治区域 对 正整数 和 有点 时距 在周期 另一个 地缘政治区域 由阶级 export 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 对于 那个 正整数 由阶级 那个 另外 地缘政治区域 export 伙伴 在 那个 时间位置 holdsDuring
(<=>     (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (exportPartner ?AGENT1 ?AGENT2)))))	Economy.kif 2387-2392	施事体 对于 有点 时距 在周期 另一个 施事体 export 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 另外 施事体 是 那个 施事体 的 export 伙伴 在 那个 时间位置 holdsDuring
(<=>     (externalDebtInPeriod ?COUNTRY ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (externalDebt ?COUNTRY ?AMOUNT)))))	Economy.kif 2775-2780	地缘政治区域 是 对于 有点 时距 在周期 货币测量 的 external 债务 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 external 债务 在 那个 时间位置 holdsDuring
(<=>     (highestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (highestDecileShareOfHouseholdIncome ?AREA ?FRACTION)))))	Economy.kif 1279-1284	实数 是对于 地缘政治区域 在周期 那个 实数 的 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 30132-30140	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 30145-30153	Naked 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 服装 的 instance 和 那个 实体 wears 那个 另外 实体 在 那个 时间位置 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 30223-30236	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 30271-30279	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 2742-2747	地缘政治区域 对 正实数 和 有点 时距 在周期 另一个 地缘政治区域 由一部分 import 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 对于 那个 正实数 由一部分 那个 另外 地缘政治区域 import 伙伴 在 那个 时间位置 holdsDuring
(<=>     (importPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (importPartnerByRank ?AREA1 ?AREA2 ?NTH)))))	Economy.kif 2704-2709	地缘政治区域 对于 正整数 和 有点 时距 在周期 另一个 地缘政治区域 由阶级 import 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 对于 那个 正整数 由阶级 那个 另外 地缘政治区域 import 伙伴 在 那个 时间位置 holdsDuring
(<=>     (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (importPartner ?AGENT1 ?AGENT2)))))	Economy.kif 2674-2679	施事体 对于 有点 时距 在 周期 另一个 施事体 import 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 另外 施事体 是 那个 施事体 的 import 伙伴 在 那个 时间位置 holdsDuring
(<=>     (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (incomeDistributionByGiniIndex ?AREA ?INDEX)))))	Economy.kif 1318-1323	地缘政治区域 对于 有点 时距 在周期 非负实数 基于基尼指数 income 分配 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 非负实数 是 那个 地缘政治区域 基于基尼指数的 income 分配 在 那个 时间位置 holdsDuring
(<=>     (industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (industrialProductionGrowthRate ?AREA ?RATE)))))	Economy.kif 1949-1954	地缘政治区域 是 对于 有点 时距 在周期 实数 的 industrial 生产成率 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 实数 是 那个 地缘政治区域 的 %industrial 生产速率 在 那个 时间位置 holdsDuring
(<=>     (instance ?BONE Bone)     (exists (?SKELETON)         (and             (or                 (instance ?SKELETON Skeleton)                 (instance ?SKELETON Exoskeleton))             (part ?BONE ?SKELETON))))	Mid-level-ontology.kif 11682-11689	客体 是 骨骼 的 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 6478-6488	实体 是 共轭物质 的 instance 若且唯若 有存在 客体， 另一个 客体， and 和 过程 这样 那个 客体 是 复合物质 的 instance 和 那个 另外 客体 是 复合物质 的 instance 和 那个 客体 不 equal 那个 另外 客体 和 那个 过程 是 化学合成 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 另外 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result
(<=>     (instance ?Collateral Collateral)     (exists (?Loan)         (and             (instance ?Loan SecuredLoan)             (securedBy ?Loan ?Collateral))))	FinancialOntology.kif 1321-1326	抵押 是 抵押 的 instance 若且唯若 有存在 金融账户 这样 那个 金融账户 是 担保贷款 的 instance 和 那个 抵押 是 那个 金融账户 的 secured
(<=>     (instance ?DISTRICT CityDistrict)     (exists (?CITY)         (and             (instance ?CITY City)             (geopoliticalSubdivision ?DISTRICT ?CITY))))	Mid-level-ontology.kif 8080-8085	地缘政治区域 是 市区 的 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 1668-1673	性能指标 是 通胀指数 的 instance 若且唯若 有存在 抽象体 这样 那个 抽象体 是 Inflation 的 instance 和 那个 性能指标 是 那个 抽象体 的 benchmark
(<=>     (instance ?Index StockIndex)     (exists (?Stock)         (and             (instance ?Stock Stock)             (benchmark ?Index ?Stock))))	FinancialOntology.kif 1696-1701	抽象体 是 股票指数 的 instance 若且唯若 有存在 性能指标 这样 那个 性能指标 是 股票 的 instance 和 那个 性能指标 是 那个 抽象体 的 benchmark
(<=>     (instance ?Loan SecuredLoan)     (exists (?Security)         (securedBy ?Loan ?Security)))	FinancialOntology.kif 1348-1351	金融账户 是 担保贷款 的 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 的一部分
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