(<=>     (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 和 那个 另外 客体 是 复合物质 的 instance 和 equal 那个 客体 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 若且唯若 有存在 抽象体 这样 那个 抽象体 是 Inflation 的 instance 和 那个 性能指标 是 那个 抽象体 的 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