holdsDuring |
(<=> (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 |
(<=> (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 |
(<=> (locatedAtTime ?OBJ ?TIME ?PLACE) (holdsDuring ?TIME (located ?OBJ ?PLACE))) |
Mid-level-ontology.kif 23308-23310 | 客体 对于 另一个 客体 在时间 时间位置 located 若且唯若 那个 客体 是 located 在 那个 另外 客体 在 那个 时间位置 holdsDuring |
(<=> (lowestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (lowestDecileShareOfHouseholdIncome ?AREA ?FRACTION))))) |
Economy.kif 1233-1238 | 地缘政治区域 对于 有点 时距 在周期 实数 的 lowest 平分家庭收入 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 实数 是 那个 地缘政治区域 lowest 平分家庭收入 在 那个 时间位置 holdsDuring |
(<=> (memberAtTime ?OBJ ?COLLECTION ?TIME) (holdsDuring ?TIME (member ?OBJ ?COLLECTION))) |
Mid-level-ontology.kif 22703-22705 | 自身连接物体 在 时间位置 时 是 群体 的 member 若且唯若 那个 自身连接物体 是 那个 群体 的 member 在 那个 时间位置 holdsDuring |
(<=> (militaryExpendituresFractionOfGDPInPeriod ?AREA ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (militaryExpendituresFractionOfGDP ?AREA ?FRACTION))))) |
Military.kif 1019-1024 | 地缘政治区域 是 对于 时距 在周期 实数 的 military 部分GDP支出 若且唯若 有存在 时间位置 这样 那个 时间位置 是 那个 时距 的 instance 和 那个 实数 是 那个 地缘政治区域 的 military 部分GDP支出 在 那个 时间位置 holdsDuring |
(<=> (militaryExpendituresInUSDollarsInPeriod ?AREA ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (militaryExpendituresInUSDollars ?AREA ?AMOUNT))))) |
Military.kif 980-985 | 地缘政治区域 是 对于 时距 在周期 货币测量 的 military 美元花费 若且唯若 有存在 时间位置 这样 那个 时间位置 是 那个 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 military 在美元的花费 在 那个 时间位置 holdsDuring |
(<=> (perCapitaGDPInPeriod ?AREA ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (perCapitaGDP ?AREA ?AMOUNT))))) |
Economy.kif 1042-1047 | 地缘政治区域 是 对于 时距 在周期 货币测量 的 per 人头 GDP 若且唯若 有存在 时间位置 这样 那个 时间位置 是 那个 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 per 人头 GDP 在 那个 时间位置 holdsDuring |
(<=> (populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (populationFractionBelowPovertyLine ?AREA ?FRACTION))))) |
Economy.kif 1184-1189 | 地缘政治区域 对于 有点 时距 在周期 实数 在贫困标准下的 population 部分 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 实数 是 那个 地缘政治区域 在贫困标准下的 population 部分 在 那个 时间位置 holdsDuring |
(<=> (realGrowthRateOfGDPInPeriod ?AREA ?RATE ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (realGrowthRateOfGDP ?AREA ?RATE))))) |
Economy.kif 1007-1012 | 地缘政治区域 是 对于 %3 在周期 %2 的 real GDP 的成长速率 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 实数 是 那个 地缘政治区域 的 real GDP 成长速率 在 那个 时间位置 holdsDuring |
(<=> (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION))))) |
Economy.kif 1086-1091 | 地缘政治区域 是 对于 实数 和 有点 时距 在 周期 行业属性 的 GDP sector 组成 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 是 对于 那个 实数 的 GDP 那个 行业属性 sector 组成 在 那个 时间位置 holdsDuring |
(<=> (sectorValueOfGDPInPeriod ?AREA ?SECTOR (MeasureFn ?AMOUNT ?CUNIT) ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (sectorValueOfGDP ?AREA ?SECTOR (MeasureFn ?AMOUNT ?CUNIT)))))) |
Economy.kif 1129-1137 | 地缘政治区域 是 实数 测量单位 和 有点 时距 在 周期 行业属性 的 sector GDP 价值 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 是 对于 那个 实数 那个 测量单位 的 sector GDP 价值 那个 行业属性 在 那个 时间位置 holdsDuring |
(<=> (totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (totalGDP ?AREA ?AMOUNT))))) |
Economy.kif 958-963 | 地缘政治区域 是 对于 有点 时距 在 周期 货币测量 的 totalGDP 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 total GDP 在 那个 时间位置 holdsDuring |
(<=> (unemploymentRateOfAreaInPeriod ?AREA ?RATE ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (unemploymentRateOfArea ?AREA ?RATE))))) |
Economy.kif 1456-1461 | 地缘政治区域 是 对于 有点 时距 在周期 实数 地区的 unemployment 比例 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 是 对于 在地区 那个 实数 的 unemployment 比例 在 那个 时间位置 holdsDuring |
(=> (agreementExpirationDate ?AGREEMENT ?ENDDATE) (holdsDuring (FutureFn ?ENDDATE) (not (property ?AGREEMENT ActiveAgreement)))) |
Mid-level-ontology.kif 14055-14058 |
|
(=> (agreementRevisionDate ?AGR ?DATE ?CHANGE) (exists (?TIME) (and (instance ?TIME ?DATE) (or (and (holdsDuring (ImmediatePastFn ?TIME) (not (subProposition ?CHANGE ?AGR))) (holdsDuring (ImmediateFutureFn ?TIME) (subProposition ?CHANGE ?AGR))) (and (holdsDuring (ImmediatePastFn ?TIME) (subProposition ?CHANGE ?AGR)) (holdsDuring (ImmediateFutureFn ?TIME) (not (subProposition ?CHANGE ?AGR)))))))) |
Government.kif 738-753 |
|
(=> (almaMater ?PERSON ?SCHOOL) (exists (?EV) (and (instance ?EV EducationalProcess) (destination ?EV ?PERSON) (eventLocated ?EV ?SCHOOL) (holdsDuring (WhenFn ?EV) (attribute ?PERSON Student))))) |
Mid-level-ontology.kif 16852-16861 | |
(=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor))) |
Mid-level-ontology.kif 20760-20767 | |
(=> (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?WORK) (instance ?WORK ArtWork)) (holdsDuring (WhenFn ?PROCESS) (attribute ?AGENT Artist))) |
Mid-level-ontology.kif 18837-18843 | |
(=> (and (agreementEffectiveDate ?AGR ?DATE) (confersObligation ?FORMULA ?AGR ?AGENT) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsObligation ?FORMULA ?AGENT))) |
Government.kif 714-719 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |