(<=>     (compressionRatio ?E ?R)     (and         (minCylinderVolume ?E             (MeasureFn ?MIN ?M))         (maxCylinderVolume ?E             (MeasureFn ?MAX ?M))         (equal ?R             (DivisionFn ?MIN ?MAX))))	Cars.kif 1928-1933	compressionRatio 发动机 and 实数 若且唯若 minCylinderVolume 那个 发动机 and 另一个 实数 测量单位 和 maxCylinderVolume 那个 发动机 and 那个 测量单位AX 那个 测量单位 和 那个 实数 equal 那个 另外 实数 和 那个 测量单位AX
(<=>     (cousin ?P1 ?P2)     (and         (exists (?G1 ?G2)             (and                 (grandmother ?P1 ?G1)                 (grandfather ?P1 ?G2)                 (grandmother ?P2 ?G1)                 (grandfather ?P2 ?G2)))         (not             (exists (?M ?F)                 (and                     (mother ?P1 ?M)                     (father ?P1 ?F)                     (mother ?P2 ?M)                     (father ?P2 ?F))))))	Mid-level-ontology.kif 23061-23076	人类 另一个 人类 是 cousins 若且唯若 有存在 女人 和 人 这样 那个 人类 的 grandmother 是 那个 女人 和 那个 人类 的 grandfather 是 那个 人 和 那个 另外 人类 的 grandmother 是 那个 女人 和 那个 另外 人类 的 grandfather 是 那个 人 和 不存在 生物 和 另一个 生物 这样 那个 生物 是 那个 人类 的 mother 和 那个 另外 生物 是 那个 人类 father 和 那个 生物 是 那个 另外 人类 的 mother 和 那个 另外 生物 是 那个 另外 人类 father
(<=>     (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))	Economy.kif 3661-3666	有点 时距 是 货币测量 的 currency 交换 每美元 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 美国美元 的 currency 交换汇率 在 那个 时间位置 holdsDuring
(<=>     (currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (currencyExchangeRate ?UNIT ?AMOUNT)))))	Economy.kif 3668-3673	UnitOfCurrency 对于 有点 时距 在周期 货币测量 的 currency 交换汇率 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 UnitOfCurrency 的 currency 交换汇率 在 那个 时间位置 holdsDuring
(<=>     (customer ?AGENT1 ?AGENT2)     (exists (?SERVICE)         (and             (instance ?SERVICE FinancialTransaction)             (agent ?SERVICE ?AGENT2)             (destination ?SERVICE ?AGENT1))))	Mid-level-ontology.kif 7727-7733	施事体 是 有认知的主事 的 customer 若且唯若 有存在 过程 这样 那个 过程 是 金融交易 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 过程 在 那个 有认知的主事 结束
(<=>     (customerRepresentative ?Person1 ?Person2 ?Org)     (exists (?Service)         (and             (instance ?Service FinancialTransaction)             (employs ?Org ?Person1)             (agent ?Service ?Person1)             (destination ?Service ?Person2))))	FinancialOntology.kif 3635-3642	有认知的主事 对于 %3 的 customer 代表 若且唯若 有存在 过程 这样 那个 过程 是 金融交易 的 instance 和 机构 employs 那个 有认知的主事 和 那个 有认知的主事 是 那个 过程 的 agent 和 那个 过程 在 另一个 有认知的主事 结束
(<=>     (earthAltitude ?OBJ ?ALT)     (exists (?SEA)         (and             (altitude ?OBJ ?SEA ?ALT)             (surface ?SEA PlanetEarth))))	Geography.kif 2781-2786	客体 是 长度测量 above 地表 若且唯若 有存在 自身连接物体 这样 那个 客体 的 altitude 是 那个 自身连接物体 和 那个 自身连接物体 是 行星地球 的 surface
(<=>     (economicAidDonatedInPeriod ?COUNTRY ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (economicAidDonated ?COUNTRY ?AMOUNT)))))	Economy.kif 2819-2824	地缘政治区域 是 对于 有点 时距 在期间 货币测量 的 economic 间赠补助 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 economic 捐赠补助 在 那个 时间位置 holdsDuring
(<=>     (economicAidReceivedNetInPeriod ?COUNTRY ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (economicAidReceivedNet ?COUNTRY ?AMOUNT)))))	Economy.kif 2859-2864	地缘政治区域 是 对于 有点 时距 在期间 货币测量 总共收到的 economic 补助 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 总共收到的 economic 补助 在 那个 时间位置 holdsDuring
(<=>     (electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (electricityFractionFromSource ?AREA ?SOURCE ?FRACTION)))))	Economy.kif 2056-2061	地缘政治区域 是 对于 实数 和 有点 时距 在周期 有点 发电 从来源的 electricity 分支 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 is 对于 那个 实数 从来源 有点 发电 的 electricity 分支 在 那个 时间位置 holdsDuring
(<=>     (employs ?Org ?Agent)     (exists (?Employment)         (and             (property ?Employment Employment)             (partyToAgreement ?Employment ?Org)             (partyToAgreement ?Employment ?Agent))))	FinancialOntology.kif 3260-3266	协议 employs 另一个 协议 若且唯若 有存在 有认知的主事 这样 那个 有认知的主事 有 雇用 的 attribute 和 那个 协议 是 那个 有认知的主事 的 party 协议 和 那个 另外 协议 是 那个 有认知的主事 的 party 协议
(<=>     (equal         (MaleToFemaleRatioFn ?AREA) ?REALNUMBER)     (and         (equal ?MALECOUNT             (CardinalityFn                 (KappaFn ?MALE                     (and                         (instance ?MALE Human)                         (attribute ?MALE Male)                         (inhabits ?MALE ?AREA)))))         (equal ?FEMALECOUNT             (CardinalityFn                 (KappaFn ?FEMALE                     (and                         (instance ?FEMALE Human)                         (attribute ?FEMALE Female)                         (inhabits ?FEMALE ?AREA)))))         (equal             (DivisionFn ?MALECOUNT ?FEMALECOUNT) ?REALNUMBER)))	People.kif 206-223	地缘政治区域 的 male 对母性比率 equal 实数 若且唯若 整数 equal 符号串 所描述的类别 instance 的数量 和 另一个 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 整数 和 那个 另外 整数 equal 那个 实数
(<=>     (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
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