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


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