and

-------------------------


(<=>
    (larger ?OBJ1 ?OBJ2)
    (forall (?QUANT1 ?QUANT2 ?UNIT)
        (=>
            (and
                (measure ?OBJ1
                    (MeasureFn ?QUANT1 ?UNIT))
                (measure ?OBJ2
                    (MeasureFn ?QUANT2 ?UNIT))
                (instance ?UNIT UnitOfLength))
            (greaterThan ?QUANT1 ?QUANT2))))		 Merge.kif 7780-7788 更大 Object and Object RealNumber RealNumber and UnitOfMeasure
(<=>
    (lengthOfBroadGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS BroadGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 182-189 LengthMeasure 是 GeographicArea 的軌道 length length 卡帕 SymbolicString and 例 SymbolicString and 寬軌鐵路 位於 SymbolicString and GeographicArea and LengthMeasure
(<=>
    (lengthOfCrudeOilPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE CrudeOilPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))		 Transportation.kif 712-719 LengthMeasure 是 GeographicArea 的原油管線 length length 卡帕 SymbolicString and 例 SymbolicString and 原油管道 位於 SymbolicString and GeographicArea and LengthMeasure
(<=>
    (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 30284-30298 方式 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 美元花費
(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (not
                    (consistent ?F1 ?F2))))))		 Mid-level-ontology.kif 13849-13856 模態屬性 Formula and 合法 Formula 模態屬性 Formula and 法 Formula 是 Formula 的 consistent
(<=>
    (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
(<=>
    (nephew ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (son ?N ?S))))		 Mid-level-ontology.kif 23108-23113 人 是 Human 的 nephew Organism 兄弟 Organism and Human 人 是 Organism 的 son
(<=>
    (niece ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (daughter ?N ?S))))		 Mid-level-ontology.kif 23122-23127 女人 是 Human 的 niece Organism 兄弟 Organism and Human 女人 是 Organism 的 daughter
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 3653-3657 方位 Object, Object and 東北 方位 Object, Object and 北 方位 Object, Object and 東
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))		 Geography.kif 3688-3692 方位 Object, Object and 西北 方位 Object, Object and 北 方位 Object, Object and 西方
(<=>
    (orientation ?OBJ1 ?OBJ2 Southeast)
    (and
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 3664-3668 方位 Object, Object and 東南 方位 Object, Object and 南 方位 Object, Object and 東

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