(<=>     (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 ?B Bull)     (and         (instance ?B Cattle)         (attribute ?B Female)))	Mid-level-ontology.kif 20200-20204	客体 是 公牛 的 instance 若且唯若 那个 客体 是 牛 的 instance 和 女 是 那个 客体 的 attribute
(<=>     (instance ?B Bull)     (and         (instance ?B Cattle)         (attribute ?B Male)))	Mid-level-ontology.kif 20218-20222	客体 是 公牛 的 instance 若且唯若 那个 客体 是 牛 的 instance 和 男 是 那个 客体 的 attribute
(<=>     (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 ?C Calf)     (and         (instance ?C Cattle)         (attribute ?C NonFullyFormed)))	Mid-level-ontology.kif 20209-20213	客体 是 小牛 的 instance 若且唯若 那个 客体 是 牛 的 instance 和 没有完全形成 是 那个 客体 的 attribute
(<=>     (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 ?DV DamagedVehicle)     (and         (instance ?DV Vehicle)         (attribute ?DV DeviceDamaged)))	Mid-level-ontology.kif 30094-30098	客体 是 DamagedVehicle 的 instance 若且唯若 那个 客体 是 车辆 的 instance 和 DeviceDamaged 是 那个 客体 的 attribute
(<=>     (instance ?H Hen)     (and         (instance ?H Chicken)         (attribute ?H Female)))	Mid-level-ontology.kif 20232-20236	客体 是 母鸡 的 instance 若且唯若 那个 客体 是 鸡 的 instance 和 女 是 那个 客体 的 attribute
(<=>     (instance ?Hardware ComputerHardware)     (exists (?Computer)         (and             (instance ?Computer Computer)             (component ?Hardware ?Computer))))	QoSontology.kif 63-68	躯体性物体 是 电脑硬件 的 instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 另外 躯体性物体 是 电脑 的 instance 和 那个 躯体性物体 是 那个 另外 躯体性物体 的 component
(<=>     (instance ?ICE Ice)     (and         (instance ?ICE Water)         (attribute ?ICE Solid)))	Mid-level-ontology.kif 8979-8983	客体 是 冰 的 instance 若且唯若 那个 客体 是 水 的 instance 和 固体 是 那个 客体 的 attribute
(<=>     (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 ?L Lamb)     (and         (instance ?L Sheep)         (attribute ?L NonFullyFormed)))	Mid-level-ontology.kif 20186-20190	客体 是 羔羊 的 instance 若且唯若 那个 客体 是 羊 的 instance 和 没有完全形成 是 那个 客体 的 attribute
(<=>     (instance ?NUMBER NegativeRealNumber)     (and         (lessThan ?NUMBER 0)         (instance ?NUMBER RealNumber)))	Merge.kif 1948-1952	实数 是 负实数 的 instance 若且唯若 那个 实数 是 lessThan 0 和 那个 实数 是 实数 的 instance
(<=>     (instance ?NUMBER NonnegativeRealNumber)     (and         (greaterThanOrEqualTo ?NUMBER 0)         (instance ?NUMBER RealNumber)))	Merge.kif 1926-1930	实数 是 非负实数 的 instance 若且唯若 那个 实数 是 greaterThanOrEqualTo 0 和 那个 实数 是 实数 的 instance
(<=>     (instance ?NUMBER PositiveRealNumber)     (and         (greaterThan ?NUMBER 0)         (instance ?NUMBER RealNumber)))	Merge.kif 1937-1941	实数 是 正实数 的 instance 若且唯若 那个 实数 是 greaterThan 0 和 那个 实数 是 实数 的 instance
(<=>     (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 ?R Rooster)     (and         (instance ?R Chicken)         (attribute ?R Male)))	Mid-level-ontology.kif 20241-20245	客体 是 公鸡 的 instance 若且唯若 那个 客体 是 鸡 的 instance 和 男 是 那个 客体 的 attribute
(<=>     (instance ?VERT Vertebrate)     (exists (?SPINE)         (and             (instance ?VERT Animal)             (component ?SPINE ?VERT)             (instance ?SPINE SpinalColumn))))	Mid-level-ontology.kif 10944-10950	躯体性物体 是 脊椎动物 的 instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 躯体性物体 是 动物 的 instance 和 那个 另外 躯体性物体 是 那个 躯体性物体 的 component 和 那个 另外 躯体性物体 是 脊柱 的 instance
(<=>     (laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION)))))	Economy.kif 1419-1424	按职业期间划分的劳动力比例 地缘政治区域, 属性, 实数 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 在 那个 时间位置 holdsDuring
(<=>     (laborForceTotalInPeriod ?AREA ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (laborForceTotal ?AREA ?AMOUNT)))))	Economy.kif 1373-1378	地缘政治区域 是 对于 有点 时距 在周期 非负实数 的 labor 总力量 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 非负实数 是 那个 地缘政治区域 的 labor 总力量 在 那个 时间位置 holdsDuring
(<=>     (languagePercentInRegion ?L ?N ?R)     (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)         (and             (located ?P ?R)             (member ?P ?G1)             (speaksLanguage ?P ?L)             (memberCount ?G1 ?N1)             (located ?P2 ?R)             (member ?P2 ?G2)             (memberCount ?G2 ?N2)             (equal                 (DivisionFn ?N 100)                 (DivisionFn ?N1 ?N2)))))	People.kif 1566-1577	百分之 实数 的人在 地理区域 speak 语言 若且唯若 有存在 群体， 另一个 群体,， ， 有感知的主事,， ， 那个 有感知的主事2,， ， 那个 实数1， and 和 那个 实数2 这样 那个 有感知的主事 是 located 在 那个 地理区域 和 那个 有感知的主事 是 那个 群体 的 member 和 那个 语言 是 那个 有感知的主事 的 speaks 语言 和 那个 实数1 是 那个 群体 的 member 计数 和 那个 有感知的主事2 是 located 在 那个 地理区域 和 那个 有感知的主事2 是 那个 另外 群体 的 member 和 那个 实数2 是 那个 另外 群体 的 member 计数 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2
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