(<=>     (importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (importPartnerByFraction ?AREA1 ?AREA2 ?FRACTION)))))	Economy.kif 2742-2747	GeopoliticalArea 對 PositiveRealNumber 和 TimeInterval 在週期 GeopoliticalArea 由一部分 import 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 對於 PositiveRealNumber 由一部分 GeopoliticalArea import 夥伴
(<=>     (importPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (importPartnerByRank ?AREA1 ?AREA2 ?NTH)))))	Economy.kif 2704-2709	GeopoliticalArea 對於 PositiveInteger 和 TimeInterval 在週期 GeopoliticalArea 由階級 import 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 對於 PositiveInteger 由階級 GeopoliticalArea import 夥伴
(<=>     (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (importPartner ?AGENT1 ?AGENT2)))))	Economy.kif 2674-2679	AutonomousAgent 對於 TimeInterval 在 週期 AutonomousAgent import 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and AutonomousAgent 是 AutonomousAgent 的 import 夥伴
(<=>     (incomeDistributionByGiniIndexInPeriod ?AREA ?INDEX ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (incomeDistributionByGiniIndex ?AREA ?INDEX)))))	Economy.kif 1318-1323	GeopoliticalArea 對於 TimeInterval 在週期 NonnegativeRealNumber 基於基尼指數 income 分配 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and NonnegativeRealNumber 是 GeopoliticalArea 基於基尼指數的 income 分配
(<=>     (industrialProductionGrowthRateInPeriod ?AREA ?RATE ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (industrialProductionGrowthRate ?AREA ?RATE)))))	Economy.kif 1949-1954	GeopoliticalArea 是 對於 TimeInterval 在週期 RealNumber 的 industrial 生產成率 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and RealNumber 是 GeopoliticalArea 的 %industrial 生產速率
(<=>     (laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION)))))	Economy.kif 1419-1424	按職業期間劃分的勞動力比例 GeopoliticalArea, Attribute, RealNumber and TimeInterval TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and
(<=>     (laborForceTotalInPeriod ?AREA ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (laborForceTotal ?AREA ?AMOUNT)))))	Economy.kif 1373-1378	GeopoliticalArea 是 對於 TimeInterval 在週期 NonnegativeRealNumber 的 labor 總力量 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and NonnegativeRealNumber 是 GeopoliticalArea 的 labor 總力量
(<=>     (locatedAtTime ?OBJ ?TIME ?PLACE)     (holdsDuring ?TIME         (located ?OBJ ?PLACE)))	Mid-level-ontology.kif 23308-23310	Object 對於 Object 在時間 TimePosition located 持有期間 TimePosition and 位於 Object and Object
(<=>     (lowestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (lowestDecileShareOfHouseholdIncome ?AREA ?FRACTION)))))	Economy.kif 1233-1238	GeopoliticalArea 對於 TimeInterval 在週期 RealNumber 的 lowest 平分家庭收入 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and RealNumber 是 GeopoliticalArea lowest 平分家庭收入
(<=>     (memberAtTime ?OBJ ?COLLECTION ?TIME)     (holdsDuring ?TIME         (member ?OBJ ?COLLECTION)))	Mid-level-ontology.kif 22703-22705	時間上的會員 SelfConnectedObject, Collection and TimePosition 持有期間 TimePosition and 會員 SelfConnectedObject and Collection
(<=>     (militaryExpendituresFractionOfGDPInPeriod ?AREA ?FRACTION ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (militaryExpendituresFractionOfGDP ?AREA ?FRACTION)))))	Military.kif 1019-1024	GeopoliticalArea 是 對於 TimeInterval 在週期 RealNumber 的 military 部分GDP支出 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and RealNumber 是 GeopoliticalArea 的 military 部分GDP支出
(<=>     (militaryExpendituresInUSDollarsInPeriod ?AREA ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (militaryExpendituresInUSDollars ?AREA ?AMOUNT)))))	Military.kif 980-985	GeopoliticalArea 是 對於 TimeInterval 在周期 CurrencyMeasure 的 military 美元花費 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 military 美元花費
(<=>     (perCapitaGDPInPeriod ?AREA ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (perCapitaGDP ?AREA ?AMOUNT)))))	Economy.kif 1042-1047	GeopoliticalArea 是 對於 TimeInterval 在週期 CurrencyMeasure 的 per 人頭 GDP TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 per 人頭 GDP
(<=>     (populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (populationFractionBelowPovertyLine ?AREA ?FRACTION)))))	Economy.kif 1184-1189	GeopoliticalArea 對於 TimeInterval 在週期 RealNumber 在貧困標準下的 population 部分 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and RealNumber 是 GeopoliticalArea 在貧困標準下的 population 部分
(<=>     (realGrowthRateOfGDPInPeriod ?AREA ?RATE ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (realGrowthRateOfGDP ?AREA ?RATE)))))	Economy.kif 1007-1012	GeopoliticalArea 是 對於 ％３ 在週期 ％２ 的 real ＧＤＰ 的成長速率 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and RealNumber 是 GeopoliticalArea 的 real GDP 成長速率
(<=>     (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION)))))	Economy.kif 1086-1091	GeopoliticalArea 是 對於 RealNumber 和 TimeInterval 在 週期 行業屬性 的 GDP sector 組成 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 是 對於 RealNumber 的 GDP 行業屬性 sector 組成
(<=>     (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	GeopoliticalArea 是 測量 RealNumber and UnitOfMeasure 和 TimeInterval 在 週期 行業屬性 的 sector GDP 價值 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 是 對於 測量 RealNumber and UnitOfMeasure 的 sector GDP 價值 行業屬性
(<=>     (totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (totalGDP ?AREA ?AMOUNT)))))	Economy.kif 958-963	GeopoliticalArea 是 對於 TimeInterval 在 週期 CurrencyMeasure 的 totalGDP TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 total GDP
(<=>     (unemploymentRateOfAreaInPeriod ?AREA ?RATE ?PERIOD)     (exists (?TIME)         (and             (instance ?TIME ?PERIOD)             (holdsDuring ?TIME                 (unemploymentRateOfArea ?AREA ?RATE)))))	Economy.kif 1456-1461	GeopoliticalArea 是 對於 TimeInterval 在週期 RealNumber 地區的 unemployment 比例 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 是 對於 在地區 RealNumber 的 unemployment 比例
(=>     (agreementExpirationDate ?AGREEMENT ?ENDDATE)     (holdsDuring         (FutureFn ?ENDDATE)         (not             (property ?AGREEMENT ActiveAgreement))))	Mid-level-ontology.kif 14055-14058	協議 有 expiration TimePoint 持有期間 未來 TimePoint and 屬性 協議 and ActiveAgreement
(=>     (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	Proposition agreement 對於 Proposition 的修改日期 TimePosition TimePosition 例 TimePosition and TimePosition 持有期間 不久的過去 TimePosition and 次提案 Proposition and Proposition 持有期間 眼前的未來 TimePosition and 次提案 Proposition and Proposition 持有期間 不久的過去 TimePosition and 次提案 Proposition and Proposition 持有期間 眼前的未來 TimePosition and 次提案 Proposition and Proposition
(=>     (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	Human 的 almaMater 是 中學後 Process 例 Process and EducationalProcess 目的地 Process and Human Process 是 located 在 中學後 持有期間 何時 Process and attribute Human and 學生
(=>     (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	actedIn Human and 內容承載物理 例 Process and 戲劇表演 患者 Process and Human 結果 Process and 內容承載物理 持有期間 何時 Process and attribute Human and Actor
(=>     (and         (agent ?PROCESS ?AGENT)         (result ?PROCESS ?WORK)         (instance ?WORK ArtWork))     (holdsDuring         (WhenFn ?PROCESS)         (attribute ?AGENT Artist)))	Mid-level-ontology.kif 18837-18843	agent Process and AutonomousAgent 結果 Process and Entity 例 Entity and ArtWork 持有期間 何時 Process and attribute AutonomousAgent and Artist
(=>     (and         (agreementEffectiveDate ?AGR ?DATE)         (confersObligation ?FORMULA ?AGR ?AGENT)         (instance ?TIME ?DATE))     (holdsDuring         (ImmediateFutureFn ?TIME)         (holdsObligation ?FORMULA ?AGENT)))	Government.kif 714-719	TimePoint 是 協議 的 agreement 生效日期 授予義務 Formula, 協議 and CognitiveAgent 例 TimePosition and TimePoint 持有期間 眼前的未來 TimePosition and 持有義務 Formula and CognitiveAgent
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