Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - KappaFn
KappaFn

appearance as argument number 1
-------------------------


(documentation KappaFn ChineseLanguage "这是一个组成类别的运算符，它拿两个参数：一个变数和一个 包含属于这个变数，起码一个不受限制例子的公式。应用 KappaFn 到一个变数和一个公式的结果是一个包含 满足这个公式东西的 SetOrClass。例如：我们用以下的方式表达小于100素数的 SetOrClass： (KappaFn ?NUMBER (and (instance ?NUMBER PrimeNumber) (lessThan ?NUMBER 100)))。注：请尽量避免 用这个函数，因为目前还没有编写公理来支持它。") chinese_format.kif 2318-2322
(documentation KappaFn EnglishLanguage "A class-forming operator that takes two arguments: a variable and a formula containing at least one unbound occurrence of the variable. The result of applying KappaFn to a variable and a formula is the Class of things that satisfy the formula. For example, we can denote the Class of prime numbers that are less than 100 with the following expression: (KappaFn ?NUMBER (and (instance ?NUMBER PrimeNumber) (lessThan ?NUMBER 100))). Note that the use of this function is discouraged, since there is currently no axiomatic support for it.") Merge.kif 5586-5594
(documentation KappaFn JapaneseLanguage "変数と変数の少なくとも 1 つの非連結オカレンスを含む 数式の2つの引数を受け取るクラス形成演算子。変数と数式に KappaFn を適用した結果は、数式を満たす ものの SetOrClass である。例えば、次の式 (KappaFn ?NUMBER (and (instance ?NUMBER PrimeNumber) (lessThan ?NUMBER 100))) で、100 未満の素数の SetOrClass を示すことができる。注：現在、この 関数の割り当てはサポートされていないため、この関数の使用は勧められない。") japanese_format.kif 991-995
(domain KappaFn 1 SymbolicString) Merge.kif 5582-5582 域 卡帕, 1 and SymbolicString
(domain KappaFn 2 Formula) Merge.kif 5583-5583 域 卡帕, 2 and Formula
(instance KappaFn BinaryFunction) Merge.kif 5580-5580 例 卡帕 and BinaryFunction
(instance KappaFn PartialValuedRelation) Merge.kif 5581-5581 例 卡帕 and PartialValuedRelation
(range KappaFn Class) Merge.kif 5584-5584 範圍 卡帕 and Class

appearance as argument number 2
-------------------------


(format ChineseLanguage KappaFn " %1 所描述的类别") chinese_format.kif 508-508
(format EnglishLanguage KappaFn "the class described by %1") english_format.kif 513-513
(format FrenchLanguage KappaFn "la classe d�crite par %1") french_format.kif 297-297
(format ItalianLanguage KappaFn "la classe descritta da %1") relations-it.txt 157-157
(format JapaneseLanguage KappaFn "%1で記述される class") japanese_format.kif 2074-2074
(format PortugueseLanguage KappaFn "a classe descrita por %1") portuguese_format.kif 249-249
(format de KappaFn "die kategorie die %1 beschreibt") relations-de.txt 662-662
(format hi KappaFn "%1 ke dvaaraa varNita varga") relations-hindi.txt 196-196
(format ro KappaFn "class%t{clasa} descrisã de %1") relations-ro.kif 318-318
(format sv KappaFn "klassen som beskrivs av %1") relations-sv.txt 325-325
(format tg KappaFn "ang klase ilarawan ng %1") relations-tg.txt 315-315
(termFormat ChineseLanguage KappaFn "卡帕") domainEnglishFormat.kif 32125-32125
(termFormat ChineseLanguage KappaFn "组成类别函数") chinese_format.kif 509-509
(termFormat ChineseTraditionalLanguage KappaFn "卡帕") domainEnglishFormat.kif 32124-32124
(termFormat EnglishLanguage KappaFn "kappa") domainEnglishFormat.kif 32123-32123

antecedent
-------------------------


(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))		 FinancialOntology.kif 1007-1011 例 Entity and 個人賬戶 比較多 基數 卡帕 SymbolicString and SymbolicString 持有 account Entity and 1 例 Entity and 聯名賬戶
(=>
    (and
        (instance ?BUYINGS Collection)
        (instance ?GMB CurrencyMeasure)
        (instance ?TOTAL RealNumber)
        (equal ?GMB
            (GMBFn ?BUYINGS))
        (equal ?TOTAL
            (CardinalityFn
                (KappaFn ?ITEM
                    (and
                        (instance ?ITEM Object)
                        (exists (?BUYING)
                            (and
                                (member ?BUYING ?BUYINGS)
                                (patient ?BUYING ?ITEM))))))))
    (equal
        (ABPFn ?BUYINGS)
        (DivisionFn ?GMB ?TOTAL)))		 UXExperimentalTerms.kif 3239-3259
(=>
    (and
        (instance ?SELLINGS Collection)
        (instance ?GMV CurrencyMeasure)
        (instance ?TOTAL RealNumber)
        (equal ?GMV
            (GMVFn ?SELLINGS))
        (equal ?TOTAL
            (CardinalityFn
                (KappaFn ?ITEM
                    (and
                        (instance ?ITEM Object)
                        (exists (?SELLING)
                            (and
                                (member ?SELLING ?SELLINGS)
                                (patient ?SELLING ?ITEM))))))))
    (equal
        (ASPFn ?SELLINGS)
        (DivisionFn ?GMV ?TOTAL)))		 UXExperimentalTerms.kif 3282-3302

consequent
-------------------------


(<=>
    (and
        (instance ?Y
            (YearFn ?YEAR))
        (equal
            (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Male)
                                        (during
                                            (WhenFn ?BIRTH) ?Y)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 357-390 例 年 and 年 年EAR 等於 GeopoliticalArea 和 年 的 male 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例 列表長度 List and Integer ListITEM RealNumber 是 List 的 average
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (BirthsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH) ?YEAR)
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))		 People.kif 82-97 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 每一千的 births and RealNumber 等於 部 GeopoliticalArea 的 population and 1000 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Birth 體驗者 SymbolicString and entity 例 entity and Human 期間 何時 SymbolicString and 年 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 部 Integer and RealNumber and RealNumber
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?DEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?PERSON)
                        (instance ?PERSON Human)
                        (during
                            (WhenFn ?DEATH) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))		 People.kif 118-133 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 每一千裡的 deaths and RealNumber 等於 部 GeopoliticalArea 的 population and 1000 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Death 體驗者 SymbolicString and entity 例 entity and Human 期間 何時 SymbolicString and 年 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 部 Integer and RealNumber and RealNumber
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH) ?YEAR)
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
        (equal ?INFANTDEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?INFANT)
                        (instance ?INFANT Human)
                        (age ?INFANT
                            (MeasureFn ?AGE YearDuration))
                        (lessThan ?AGE 1)
                        (during
                            (WhenFn ?DEATH) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))		 People.kif 238-264 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 每一千個生存出生裡的 deaths and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Birth 體驗者 SymbolicString and entity 例 entity and Human 期間 何時 SymbolicString and 年 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 部 Integer and 1000 and RealNumber 等於 entityDEATHCOUNT and 基數 卡帕 SymbolicString and 例 SymbolicString and Death 體驗者 SymbolicString and entity 例 entity and Human 年齡 entity and 測量 entity and 年持續時間 少於 entity and 1 期間 何時 SymbolicString and 年 等於 哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於 部 entityDEATHCOUNT and RealNumber and RealNumber
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Female)
                                        (during
                                            (WhenFn ?BIRTH) ?YEAR)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 403-436 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 的 female 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例 列表長度 List and Integer ListITEM RealNumber 是 List 的 average
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (during
                                            (WhenFn ?BIRTH) ?YEAR)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 310-342 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 的出生預期 life and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例 列表長度 List and Integer ListITEM RealNumber 是 List 的 average
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (MigrantsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (SubtractionFn ?Y ?PY) 1)
        (instance ?PREVIOUSYEAR
            (YearFn ?PY))
        (holdsDuring ?YEAR
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (equal
            (DivisionFn ?POPULATION 1000) ?THOUSANDS)
        (equal ?IMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring ?PREVIOUSYEAR
                            (not
                                (inhabits ?PERSON ?AREA)))
                        (holdsDuring ?YEAR
                            (inhabits ?PERSON ?AREA))))))
        (equal ?EMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring ?PREVIOUSYEAR
                            (inhabits ?PERSON ?AREA))
                        (holdsDuring ?YEAR
                            (not
                                (inhabits ?PERSON ?AREA)))))))
        (equal
            (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
        (equal
            (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))		 People.kif 156-187 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 每一千的 migrants and RealNumber 等於 減法 Integer and Integer and 1 例 Entity and 年 Integer 持有期間 年 and 等於 GeopoliticalArea 的 population and RealNumber 等於 部 RealNumber and 1000 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間 年 and 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間 年 and 棲息 SymbolicString and GeopoliticalArea 等於 減法 Integer and Integer and RealNumber 等於 部 RealNumber and RealNumber and RealNumber
(<=>
    (equal
        (MaleToFemaleRatioFn ?AREA) ?REALNUMBER)
    (and
        (equal ?MALECOUNT
            (CardinalityFn
                (KappaFn ?MALE
                    (and
                        (instance ?MALE Human)
                        (attribute ?MALE Male)
                        (inhabits ?MALE ?AREA)))))
        (equal ?FEMALECOUNT
            (CardinalityFn
                (KappaFn ?FEMALE
                    (and
                        (instance ?FEMALE Human)
                        (attribute ?FEMALE Female)
                        (inhabits ?FEMALE ?AREA)))))
        (equal
            (DivisionFn ?MALECOUNT ?FEMALECOUNT) ?REALNUMBER)))		 People.kif 206-223 等於 GeopoliticalArea 的 male 對母性比率 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 女 棲息 SymbolicString and GeopoliticalArea 等於 部 Integer and Integer and RealNumber
(<=>
    (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
(<=>
    (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
(<=>
    (totalLengthOfHighwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Roadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 484-491 LengthMeasure 是 GeographicArea 的 total 高速公路系統長度 length 卡帕 SymbolicString and 例 SymbolicString and 巷道 位於 SymbolicString and GeographicArea and LengthMeasure
(<=>
    (totalLengthOfRailwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS Railway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))		 Transportation.kif 98-105 LengthMeasure 是 GeographicArea 的 total 鐵路系統長度 length 卡帕 SymbolicString and 例 SymbolicString and 鐵路 位於 SymbolicString and GeographicArea and LengthMeasure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(and
    (instance ?YEAR
        (YearFn ?Y))
    (equal
        (ChildrenBornPerWomanFn ?AREA ?YEAR)
        (CardinalityFn
            (KappaFn ?INFANT
                (and
                    (instance ?BIRTH Birth)
                    (experiencer ?BIRTH ?INFANT)
                    (agent ?BIRTH ?WOMAN)
                    (instance ?WOMAN Human)
                    (attribute ?WOMAN Female)
                    (holdsDuring ?YEAR
                        (inhabits ?WOMAN ?AREA)))))))		 People.kif 456-469 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 每個女人生的 children and 基數 卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and SymbolicString agent entity and entity 例 entity and Human attribute entity and 女 持有期間 年 and 棲息 entity and GeopoliticalArea
(equal
    (AvailableForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 872-881 等於 GeopoliticalArea 的 available 軍事服務男性 and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀 年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
(equal
    (FitForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (subclass ?PROCESS MilitaryProcess)
                (fitForMilitaryService ?PERSON ?PROCESS)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 895-906 等於 GeopoliticalArea 的 fit 對於軍服務男性 and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 子類 entity and MilitaryProcess entity 是 SymbolicString 的 fit 軍事服務 entity 是 GeopoliticalArea 的 military 年紀 年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea
(equal
    (OrganismPopulationFn ?O ?AREA)
    (CardinalityFn
        (KappaFn ?OI
            (and
                (instance ?OI ?O)
                (located ?OI ?AREA)))))		 Mid-level-ontology.kif 31734-31739 等於 OrganismPopulationFn Organism and GeographicArea and 基數 卡帕 OrganismI and 例 OrganismI and Organism 位於 OrganismI and GeographicArea
(equal
    (PopulationFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (inhabits ?PERSON ?AREA)))))		 Mid-level-ontology.kif 31712-31717 等於 GeopoliticalArea 的 population and 基數 卡帕 SymbolicString and 例 SymbolicString and Human 棲息 SymbolicString and GeopoliticalArea
(equal
    (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (equal ?AGEMINUSONE
                    (SubtractionFn ?AGE 1))
                (holdsDuring ?YEAR
                    (or
                        (age ?PERSON ?AGEMINUSONE)
                        (age ?PERSON ?AGE)))
                (equal ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 933-946 等於 GeopoliticalArea 和 年 每年的 reaching 軍事男性年齡 and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀 等於 entity and 減法 entity and 1 持有期間 年 and 年齡 SymbolicString and entity 年齡 SymbolicString and entity 等於 entity and entity 棲息 SymbolicString and GeopoliticalArea


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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