(<=>     (lengthOfDualGaugeRailway ?AREA ?LENGTH)     (length         (KappaFn ?RAILWAYS             (and                 (instance ?RAILWAYS DualGaugeRailway)                 (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 210-217	LengthMeasure 是 GeographicArea 的雙軌規格 length length 卡帕 SymbolicString and 例 SymbolicString and DualGaugeRailway 位於 SymbolicString and GeographicArea and LengthMeasure
(<=>     (lengthOfElectrifiedRailway ?AREA ?LENGTH)     (length         (KappaFn ?RAILWAYS             (and                 (instance ?RAILWAYS ElectrifiedRailway)                 (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 126-133	LengthMeasure 是 GeographicArea 的電場軌道 length length 卡帕 SymbolicString and 例 SymbolicString and 電氣化鐵路 位於 SymbolicString and GeographicArea and LengthMeasure
(<=>     (lengthOfExpresswaySystem ?AREA ?LENGTH)     (length         (KappaFn ?HIGHWAYS             (and                 (instance ?HIGHWAYS Expressway)                 (located ?HIGHWAYS ?AREA))) ?LENGTH))	Transportation.kif 568-575	LengthMeasure 是 GeographicArea 的高速公路系統 length length 卡帕 SymbolicString and 例 SymbolicString and 高速公路 位於 SymbolicString and GeographicArea and LengthMeasure
(<=>     (lengthOfMultipleTrackRailway ?AREA ?LENGTH)     (length         (KappaFn ?RAILWAYS             (and                 (instance ?RAILWAYS MultipleTrackRailway)                 (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 154-161	LengthMeasure 是 GeographicArea 的多軌鐵路 length length 卡帕 SymbolicString and 例 SymbolicString and 多軌鐵路 位於 SymbolicString and GeographicArea and LengthMeasure
(<=>     (lengthOfNarrowGaugeRailway ?AREA ?LENGTH)     (length         (KappaFn ?RAILWAYS             (and                 (instance ?RAILWAYS NarrowGaugeRailway)                 (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 237-244	LengthMeasure 是 GeographicArea 的短規格鐵路的 length length 卡帕 SymbolicString and 例 SymbolicString and 窄軌鐵路 位於 SymbolicString and GeographicArea and LengthMeasure
(<=>     (lengthOfNaturalGasPipeline ?AREA ?LENGTH)     (length         (KappaFn ?PIPELINE             (and                 (instance ?PIPELINE NaturalGasPipeline)                 (located ?PIPELINE ?AREA))) ?LENGTH))	Transportation.kif 735-742	LengthMeasure 是 GeographicArea 的 天然瓦斯管線的 length length 卡帕 SymbolicString and 例 SymbolicString and 天然氣管道 位於 SymbolicString and GeographicArea and LengthMeasure
(<=>     (lengthOfPavedHighway ?AREA ?LENGTH)     (length         (KappaFn ?HIGHWAYS             (and                 (instance ?HIGHWAYS SurfacedRoadway)                 (located ?HIGHWAYS ?AREA))) ?LENGTH))	Transportation.kif 542-549	LengthMeasure 是 GeographicArea 的鋪設鐵路 length length 卡帕 SymbolicString and 例 SymbolicString and 浮出水面的巷道 位於 SymbolicString and GeographicArea and LengthMeasure
(<=>     (lengthOfPetroleumProductPipeline ?AREA ?LENGTH)     (length         (KappaFn ?PIPELINE             (and                 (instance ?PIPELINE PetroleumProductPipeline)                 (located ?PIPELINE ?AREA))) ?LENGTH))	Transportation.kif 758-765	LengthMeasure 是 GeographicArea 的石油產品管線 length length 卡帕 SymbolicString and 例 SymbolicString and 石油產品管道 位於 SymbolicString and GeographicArea and LengthMeasure
(<=>     (lengthOfStandardGaugeRailway ?AREA ?LENGTH)     (length         (KappaFn ?RAILWAYS             (and                 (instance ?RAILWAYS StandardGaugeRailway)                 (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 265-272	LengthMeasure GeographicArea 的 標準規格管線 length length 卡帕 SymbolicString and 例 SymbolicString and 標準軌距鐵路 位於 SymbolicString and GeographicArea and LengthMeasure
(<=>     (lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH)     (length         (KappaFn ?RAILWAYS             (and                 (located ?RAILWAYS ?AREA)                 (not                     (instance ?RAILWAYS                         (UnionFn StandardGaugeRailway                             (UnionFn BroadGaugeRailway                                 (UnionFn DualGaugeRailway NarrowGaugeRailway))))))) ?LENGTH))	Transportation.kif 294-306	LengthMeasure 是 GeographicArea 的未分類規格軌道 length length 卡帕 SymbolicString and 位於 SymbolicString and GeographicArea 例 SymbolicString and 聯盟 標準軌距鐵路 and 聯盟 寬軌鐵路 and 聯盟 DualGaugeRailway and 窄軌鐵路 and LengthMeasure
(<=>     (lengthOfUnpavedHighway ?AREA ?LENGTH)     (length         (KappaFn ?HIGHWAYS             (and                 (instance ?HIGHWAYS UnsurfacedRoadway)                 (located ?HIGHWAYS ?AREA))) ?LENGTH))	Transportation.kif 601-608	LengthMeasure 是 GeographicArea 的未鋪設高速公路 length length 卡帕 SymbolicString and 例 SymbolicString and 沒有鋪面的巷道 位於 SymbolicString and GeographicArea and LengthMeasure
(<=>     (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 平分家庭收入
(<=>     (manner ?P Harmless)     (and         (not             (instance ?P Damaging))         (not             (exists (?P2)                 (and                     (instance ?P2 Damaging)                     (subProcess ?P2 ?P))))         (not             (exists (?P2)                 (and                     (instance ?P2 Damaging)                     (causes ?P ?P2))))))	Mid-level-ontology.kif 30296-30310	方式 Process and Harmless 例 Process and Damaging Process 例 Process and Damaging 子過程 Process and Process Process 例 Process and Damaging 原因 Process and Process
(<=>     (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 美元花費
(<=>     (monthlyIncome ?Agent ?Money)     (exists (?Month)         (and             (instance ?Month Month)             (income ?Agent ?Money ?Month))))	FinancialOntology.kif 3283-3288	Human 有 monthly income CurrencyMeasure TimeInterval 例 TimeInterval and Month Human 對於 TimeInterval income CurrencyMeasure
(<=>     (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 價值 行業屬性
(<=>     (subrelation ?PRED involvedInEvent)     (instance ?PRED CaseRole))	Media.kif 119-121	子關係 Relation and 參與活動 例 Relation and CaseRole
(<=>     (totalFacilityTypeInArea ?AREA         (ExtensionFn AirportWithPavedRunway) ?COUNT)     (exists (?AIRPORT ?RUNWAY)         (cardinality             (KappaFn ?AIRPORT                 (and                     (instance ?AIRPORT Airport)                     (instance ?RUNWAY PavedRunway)                     (part ?RUNWAY ?AIRPORT)                     (located ?AIRPORT ?AREA))) ?COUNT)))	Transportation.kif 1277-1287	GeographicArea 是 對於 NonnegativeInteger 在地區 延期 機場有著鋪設跑道 的 total 設施類別 SymbolicString entity NonnegativeInteger 是 卡帕 SymbolicString and 例 SymbolicString and 飛機場 例 entity and 鋪好的跑道 部分 entity and SymbolicString 位於 SymbolicString and GeographicArea 的 cardinality
(<=>     (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)     (cardinality         (KappaFn ?ITEM             (and                 (instance ?ITEM ?TYPE)                 (located ?ITEM ?AREA))) ?COUNT))	Transportation.kif 1221-1228	GeographicArea 是 對於 NonnegativeInteger 在地區 Class 的 total 設施類別 NonnegativeInteger 是 卡帕 SymbolicString and 例 SymbolicString and Class 位於 SymbolicString and GeographicArea 的 cardinality
(<=>     (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
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