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)))。注:请尽量避免 用这个函数,因为目前还没有编写公理来支持它。 ") Merge.kif 5707-5713
(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 SetOrClass of things that satisfy the formula. For example, we can denote the SetOrClass 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 5698-5706
(domain KappaFn 1 SymbolicString) Merge.kif 5695-5695 domain KappaFn, 1 and 記号文字列
(domain KappaFn 2 Formula) Merge.kif 5696-5696 domain KappaFn, 2 and 公式
(instance KappaFn BinaryFunction) Merge.kif 5693-5693 instance KappaFn and 2変数関数
(instance KappaFn PartialValuedRelation) Merge.kif 5694-5694 instance KappaFn and 部分的価値関係
(range KappaFn Class) Merge.kif 5697-5697 range KappaFn and クラス

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 308-308
(termFormat ChineseLanguage KappaFn "组成类别函数") chinese_format.kif 509-509 termFormat ChineseLanguage, KappaFn and "组成类别函数"
(termFormat EnglishLanguage KappaFn "kappa") domainEnglishFormat.kif 5772-5772 termFormat EnglishLanguage, KappaFn and "kappa"

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


(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))
FinancialOntology.kif 952-956 instance エンティティー and PersonalAccount greaterThan CardinalityFn KappaFn 記号文字列 and accountHolder エンティティー and 記号文字列 and 1 instance エンティティー and JointAccount
(=>
    (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 ?ITEM ?BUYING))))))))
    (equal
        (ABPFn ?BUYINGS)
        (DivisionFn ?GMB ?TOTAL)))
UXExperimentalTerms.kif 3444-3464
(=>
    (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 ?ITEM ?BUYING))))))))
    (equal
        (ASPFn ?SELLINGS)
        (DivisionFn ?GMV ?TOTAL)))
UXExperimentalTerms.kif 3487-3507
(=>
    (and
        (instance ?VEHICLE CargoVehicle)
        (instance ?OB
            (KappaFn ?O
                (not
                    (instance ?O Human)))))
    (capability Transportation patient ?OB))
Transportation.kif 1733-1740

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


(<=>
    (equal
        (BirthsPerThousandFn ?AREA
            (YearFn ?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)
                            (YearFn ?YEAR))
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 104-117 equal BirthsPerThousandFn 地政学的地域 and YearFn 整数 and 実数 equal DivisionFn PopulationFn 地政学的地域 and 1000 and equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 出生 experiencer 記号文字列 and エンティティー instance エンティティー and 人[人間] during WhenFn 記号文字列 and YearFn 整数 equal WhereFn 記号文字列 and WhenFn 記号文字列 and 地政学的地域 equal DivisionFn 整数 and and 実数
(<=>
    (equal
        (DeathsPerThousandFn ?AREA
            (YearFn ?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)
                            (YearFn ?YEAR))
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 138-151 equal DeathsPerThousandFn 地政学的地域 and YearFn 整数 and 実数 equal DivisionFn PopulationFn 地政学的地域 and 1000 and equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and experiencer 記号文字列 and エンティティー instance エンティティー and 人[人間] during WhenFn 記号文字列 and YearFn 整数 equal WhereFn 記号文字列 and WhenFn 記号文字列 and 地政学的地域 equal DivisionFn 整数 and and 実数
(<=>
    (equal
        (DeathsPerThousandLiveBirthsFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (and
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH)
                            (YearFn ?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)
                            (YearFn ?YEAR))
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 253-277 equal DeathsPerThousandLiveBirthsFn 地政学的地域 and YearFn 整数 and 実数 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 出生 experiencer 記号文字列 and エンティティー instance エンティティー and 人[人間] during WhenFn 記号文字列 and YearFn 整数 equal WhereFn 記号文字列 and WhenFn 記号文字列 and 地政学的地域 equal DivisionFn 整数 and 1000 and equal エンティティーDEATHCOUNT and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and experiencer 記号文字列 and エンティティー instance エンティティー and 人[人間] age エンティティー and MeasureFn エンティティー and YearDuration lessThan エンティティー and 1 during WhenFn 記号文字列 and YearFn 整数 equal WhereFn 記号文字列 and WhenFn 記号文字列 and 地政学的地域 equal DivisionFn エンティティーDEATHCOUNT and and 実数
(<=>
    (equal
        (FemaleLifeExpectancyAtBirthFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (exists (?LIST)
        (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)
                                            (YearFn ?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 411-442 equal FemaleLifeExpectancyAtBirthFn 地政学的地域 and YearFn 整数 and 実数 リスト instance リスト and リスト instance ListLengthFn リスト and 整数 リストITEM average リスト and 実数
(<=>
    (equal
        (LifeExpectancyAtBirthFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (exists (?LIST)
        (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)
                                            (YearFn ?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 323-353 equal LifeExpectancyAtBirthFn 地政学的地域 and YearFn 整数 and 実数 リスト instance リスト and リスト instance ListLengthFn リスト and 整数 リストITEM average リスト and 実数
(<=>
    (equal
        (MaleLifeExpectancyAtBirthFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (exists (?LIST)
        (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)
                                            (YearFn ?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 367-398 equal MaleLifeExpectancyAtBirthFn 地政学的地域 and YearFn 整数 and 実数 リスト instance リスト and リスト instance ListLengthFn リスト and 整数 リストITEM average リスト and 実数
(<=>
    (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 221-238 equal MaleToFemaleRatioFn 地政学的地域 and 実数 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人[人間] attribute 記号文字列 and Male inhabits 記号文字列 and 地政学的地域 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人[人間] attribute 記号文字列 and Female inhabits 記号文字列 and 地政学的地域 equal DivisionFn 整数 and 整数 and 実数
(<=>
    (equal
        (MigrantsPerThousandFn ?AREA
            (YearFn ?YEAR)) ?REALNUMBER)
    (and
        (equal
            (SubtractionFn ?YEAR ?PREVIOUSYEAR) 1)
        (holdsDuring
            (YearFn ?YEAR)
            (equal
                (PopulationFn ?AREA) ?POPULATION))
        (equal
            (DivisionFn ?POPULATION 1000) ?THOUSANDS)
        (equal ?IMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring
                            (YearFn ?PREVIOUSYEAR)
                            (not
                                (inhabits ?PERSON ?AREA)))
                        (holdsDuring
                            (YearFn ?YEAR)
                            (inhabits ?PERSON ?AREA))))))
        (equal ?EMMIGRATION
            (CardinalityFn
                (KappaFn ?PERSON
                    (and
                        (instance ?PERSON Human)
                        (holdsDuring
                            (YearFn ?PREVIOUSYEAR)
                            (inhabits ?PERSON ?AREA))
                        (holdsDuring
                            (YearFn ?YEAR)
                            (not
                                (inhabits ?PERSON ?AREA)))))))
        (equal
            (SubtractionFn ?IMMIGRATION ?EMMIGRATION) ?MIGRATIONCOUNT)
        (equal
            (DivisionFn ?MIGRATIONCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 174-202 equal MigrantsPerThousandFn 地政学的地域 and YearFn 整数 and 実数 equal SubtractionFn 整数 and and 1 holdsDuring YearFn 整数 and equal PopulationFn 地政学的地域 and equal DivisionFn and 1000 and equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人[人間] holdsDuring YearFn and inhabits 記号文字列 and 地政学的地域 holdsDuring YearFn 整数 and inhabits 記号文字列 and 地政学的地域 equal 整数 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人[人間] holdsDuring YearFn and inhabits 記号文字列 and 地政学的地域 holdsDuring YearFn 整数 and inhabits 記号文字列 and 地政学的地域 equal SubtractionFn 整数 and 整数 and equal DivisionFn and and 実数
(<=>
    (lengthOfBroadGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS BroadGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 179-186 lengthOfBroadGaugeRailway 地理的地域 and 長さ測定 length KappaFn 記号文字列 and instance 記号文字列 and BroadGaugeRailway located 記号文字列 and 地理的地域 and 長さ測定
(<=>
    (lengthOfCrudeOilPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE CrudeOilPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 701-708 lengthOfCrudeOilPipeline 地理的地域 and 長さ測定 length KappaFn 記号文字列 and instance 記号文字列 and CrudeOilPipeline located 記号文字列 and 地理的地域 and 長さ測定
(<=>
    (lengthOfDualGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS DualGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 207-214 lengthOfDualGaugeRailway 地理的地域 and 長さ測定 length KappaFn 記号文字列 and instance 記号文字列 and DualGaugeRailway located 記号文字列 and 地理的地域 and 長さ測定
(<=>
    (lengthOfElectrifiedRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS ElectrifiedRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 125-132 lengthOfElectrifiedRailway 地理的地域 and 長さ測定 length KappaFn 記号文字列 and instance 記号文字列 and ElectrifiedRailway located 記号文字列 and 地理的地域 and 長さ測定
(<=>
    (lengthOfExpresswaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Expressway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 558-565 lengthOfExpresswaySystem 地理的地域 and 長さ測定 length KappaFn 記号文字列 and instance 記号文字列 and Expressway located 記号文字列 and 地理的地域 and 長さ測定
(<=>
    (lengthOfMultipleTrackRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS MultipleTrackRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 152-159 lengthOfMultipleTrackRailway 地理的地域 and 長さ測定 length KappaFn 記号文字列 and instance 記号文字列 and MultipleTrackRailway located 記号文字列 and 地理的地域 and 長さ測定
(<=>
    (lengthOfNarrowGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS NarrowGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 234-241 lengthOfNarrowGaugeRailway 地理的地域 and 長さ測定 length KappaFn 記号文字列 and instance 記号文字列 and NarrowGaugeRailway located 記号文字列 and 地理的地域 and 長さ測定
(<=>
    (lengthOfNaturalGasPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE NaturalGasPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 724-731 lengthOfNaturalGasPipeline 地理的地域 and 長さ測定 length KappaFn 記号文字列 and instance 記号文字列 and NaturalGasPipeline located 記号文字列 and 地理的地域 and 長さ測定
(<=>
    (lengthOfPavedHighway ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS SurfacedRoadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 532-539 lengthOfPavedHighway 地理的地域 and 長さ測定 length KappaFn 記号文字列 and instance 記号文字列 and SurfacedRoadway located 記号文字列 and 地理的地域 and 長さ測定
(<=>
    (lengthOfPetroleumProductPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE PetroleumProductPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 747-754 lengthOfPetroleumProductPipeline 地理的地域 and 長さ測定 length KappaFn 記号文字列 and instance 記号文字列 and PetroleumProductPipeline located 記号文字列 and 地理的地域 and 長さ測定
(<=>
    (lengthOfStandardGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS StandardGaugeRailway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 262-269 lengthOfStandardGaugeRailway 地理的地域 and 長さ測定 length KappaFn 記号文字列 and instance 記号文字列 and StandardGaugeRailway located 記号文字列 and 地理的地域 and 長さ測定
(<=>
    (lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (located ?RAILWAYS ?AREA)
                (not
                    (instance ?RAILWAYS
                        (UnionFn StandardGaugeRailway
                            (UnionFn BroadGaugeRailway
                                (UnionFn DualGaugeRailway NarrowGaugeRailway))))))) ?LENGTH))
Transportation.kif 291-303 lengthOfUnclassifiedGaugeRailway 地理的地域 and 長さ測定 length KappaFn 記号文字列 and located 記号文字列 and 地理的地域 instance 記号文字列 and UnionFn StandardGaugeRailway and UnionFn BroadGaugeRailway and UnionFn DualGaugeRailway and NarrowGaugeRailway and 長さ測定
(<=>
    (lengthOfUnpavedHighway ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS UnsurfacedRoadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 590-597 lengthOfUnpavedHighway 地理的地域 and 長さ測定 length KappaFn 記号文字列 and instance 記号文字列 and UnsurfacedRoadway located 記号文字列 and 地理的地域 and 長さ測定
(<=>
    (totalFacilityTypeInArea ?AREA
        (ExtensionFn AirportWithPavedRunway) ?COUNT)
    (cardinality
        (KappaFn ?AIRPORT
            (exists (?RUNWAY)
                (and
                    (instance ?AIRPORT Airport)
                    (instance ?RUNWAY PavedRunway)
                    (part ?RUNWAY ?AIRPORT)
                    (located ?AIRPORT ?AREA)))) ?COUNT))
Transportation.kif 1251-1261 totalFacilityTypeInArea 地理的地域, ExtensionFn AirportWithPavedRunway and 非負整数 cardinality KappaFn 記号文字列 and エンティティー instance 記号文字列 and Airport instance エンティティー and PavedRunway part エンティティー and 記号文字列 located 記号文字列 and 地理的地域 and 非負整数
(<=>
    (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)
    (cardinality
        (KappaFn ?ITEM
            (and
                (instance ?ITEM ?TYPE)
                (located ?ITEM ?AREA))) ?COUNT))
Transportation.kif 1195-1202 totalFacilityTypeInArea 地理的地域, クラス and 非負整数 cardinality KappaFn 記号文字列 and instance 記号文字列 and クラス located 記号文字列 and 地理的地域 and 非負整数
(<=>
    (totalLengthOfHighwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Roadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 478-485 totalLengthOfHighwaySystem 地理的地域 and 長さ測定 length KappaFn 記号文字列 and instance 記号文字列 and Roadway located 記号文字列 and 地理的地域 and 長さ測定
(<=>
    (totalLengthOfRailwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?RAILWAYS
            (and
                (instance ?RAILWAYS Railway)
                (located ?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 98-105 totalLengthOfRailwaySystem 地理的地域 and 長さ測定 length KappaFn 記号文字列 and instance 記号文字列 and Railway located 記号文字列 and 地理的地域 and 長さ測定

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(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 867-876 equal AvailableForMilitaryServiceMaleFn 地政学的地域 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人[人間] attribute 記号文字列 and Male militaryAge 地政学的地域 and エンティティー age 記号文字列 and エンティティー greaterThanOrEqualTo エンティティー and エンティティー inhabits 記号文字列 and 地政学的地域
(equal
    (ChildrenBornPerWomanFn ?AREA
        (YearFn ?YEAR))
    (CardinalityFn
        (KappaFn ?INFANT
            (and
                (instance ?BIRTH Birth)
                (experiencer ?BIRTH ?INFANT)
                (agent ?BIRTH ?WOMAN)
                (instance ?WOMAN Human)
                (attribute ?WOMAN Female)
                (holdsDuring
                    (YearFn ?YEAR)
                    (inhabits ?WOMAN ?AREA))))))
People.kif 462-472 equal ChildrenBornPerWomanFn 地政学的地域 and YearFn 整数 and CardinalityFn KappaFn 記号文字列 and instance エンティティー and 出生 experiencer エンティティー and 記号文字列 agent エンティティー and エンティティー instance エンティティー and 人[人間] attribute エンティティー and Female holdsDuring YearFn 整数 and inhabits エンティティー and 地政学的地域
(equal
    (FitForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (instance ?PROCESS MilitaryProcess)
                (fitForMilitaryService ?PERSON ?PROCESS)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))
Military.kif 890-901 equal FitForMilitaryServiceMaleFn 地政学的地域 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人[人間] attribute 記号文字列 and Male instance エンティティー and 軍事プロセス fitForMilitaryService 記号文字列 and エンティティー militaryAge 地政学的地域 and エンティティー age 記号文字列 and エンティティー greaterThanOrEqualTo エンティティー and エンティティー inhabits 記号文字列 and 地政学的地域
(equal
    (PopulationFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (inhabits ?PERSON ?AREA)))))
People.kif 49-54 equal PopulationFn 地政学的地域 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人[人間] inhabits 記号文字列 and 地政学的地域
(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 928-941 equal ReachingMilitaryAgeAnnuallyMaleFn 地政学的地域 and and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人[人間] attribute 記号文字列 and Male militaryAge 地政学的地域 and エンティティー equal エンティティー and SubtractionFn エンティティー and 1 holdsDuring and age 記号文字列 and エンティティー age 記号文字列 and エンティティー equal エンティティー and エンティティー inhabits 記号文字列 and 地政学的地域


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners