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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RealNumber

Sigma KEE - RealNumber
RealNumber(实数)

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


(documentation RealNumber ChineseLanguage "任何可以表达为一个(可能是无限的)十进制的 Number, 即任何在数字线上佔有一席位 Number。") Merge.kif 1965-1966
(documentation RealNumber EnglishLanguage "Any Number that can be expressed as a (possibly infinite) decimal, i.e. any Number that has a position on the number line.") Merge.kif 1962-1964
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 0/ 09/ Number-line.gif") pictureList.kif 11762-11762 externalImage 实数 and "http://upload.wikimedia.org/wikipedia/commons/0/09/ Number-line.gif"
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Real_Number_Line.PNG") pictureList.kif 10244-10244 externalImage 实数 and "http://upload.wikimedia.org/wikipedia/commons/9/98/ Real_Number_Line.PNG"
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") pictureList.kif 11761-11761 externalImage 实数 and "http://upload.wikimedia.org/wikipedia/commons/f/fd/ Recta_real_entero_o_decimal_exacto.png"
(partition RealNumber NegativeRealNumber NonnegativeRealNumber) Merge.kif 1960-1960 实数 详尽无遗地 partition负实数非负实数
(partition RealNumber RationalNumber IrrationalNumber) Merge.kif 1961-1961 实数 详尽无遗地 partition有理数无理数
(subclass RealNumber Number) Merge.kif 1959-1959 实数数字subclass

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


(disjoint ComplexNumber RealNumber) Merge.kif 2082-2082 复数 和 % 2 是 disjoint
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1888-1888 数字 详尽无遗地 partition实数, 虚数, 和 复数
(range BirthsPerThousandFn RealNumber) People.kif 93-93 BirthsPerThousandFnrange实数 的实例
(range ChildrenBornPerWomanFn RealNumber) People.kif 449-449 ChildrenBornPerWomanFnrange实数 的实例
(range ClickThroughRateFn RealNumber) UXExperimentalTerms.kif 3525-3525 ClickThroughRateFnrange实数 的实例
(range CosineFn RealNumber) Merge.kif 4959-4959 馀弦函数range实数 的实例
(range DeathsPerThousandFn RealNumber) People.kif 124-124 DeathsPerThousandFnrange实数 的实例
(range DeathsPerThousandLiveBirthsFn RealNumber) People.kif 245-245 DeathsPerThousandLiveBirthsFnrange实数 的实例
(range ExponentiationFn RealNumber) Merge.kif 4980-4980 次幂函数range实数 的实例
(range FemaleLifeExpectancyAtBirthFn RealNumber) People.kif 404-404 FemaleLifeExpectancyAtBirthFnrange实数 的实例
(range LifeExpectancyAtBirthFn RealNumber) People.kif 312-312 LifeExpectancyAtBirthFnrange实数 的实例
(range LiftFn RealNumber) UXExperimentalTerms.kif 4746-4746 LiftFnrange实数 的实例
(range LogFn RealNumber) Merge.kif 5122-5122 对数函数range实数 的实例
(range MagnitudeFn RealNumber) Merge.kif 6792-6792 幅度函数range实数 的实例
(range MaleLifeExpectancyAtBirthFn RealNumber) People.kif 359-359 MaleLifeExpectancyAtBirthFnrange实数 的实例
(range MaleToFemaleRatioFn RealNumber) People.kif 208-208 MaleToFemaleRatioFnrange实数 的实例
(range MigrantsPerThousandFn RealNumber) People.kif 158-158 MigrantsPerThousandFnrange实数 的实例
(range PPIFn RealNumber) UXExperimentalTerms.kif 3292-3292 PPIFnrange实数 的实例
(range PPSFn RealNumber) UXExperimentalTerms.kif 3253-3253 PPSFnrange实数 的实例
(range PopulationGrowthFn RealNumber) People.kif 64-64 PopulationGrowthFnrange实数 的实例
(range ProbabilityFn RealNumber) Merge.kif 2742-2742 表示机率的函数range实数 的实例
(range RealNumberFn RealNumber) Merge.kif 5215-5215 实数函数range实数 的实例
(range ReciprocalFn RealNumber) Merge.kif 5225-5225 倒数函数range实数 的实例
(range SRPEngagementFn RealNumber) UXExperimentalTerms.kif 3908-3908 SRPEngagementFnrange实数 的实例
(range SineFn RealNumber) Merge.kif 5333-5333 正弦函数range实数 的实例

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain AbsoluteValueFn 1 RealNumber) Merge.kif 4917-4917 绝对值函数 的 1 数量 是 实数instance
(domain CeilingFn 1 RealNumber) Merge.kif 4939-4939 顶整数函数 的 1 数量 是 实数instance
(domain DenominatorFn 1 RealNumber) Merge.kif 4968-4968 分母函数 的 1 数量 是 实数instance
(domain ExponentiationFn 1 RealNumber) Merge.kif 4978-4978 次幂函数 的 1 数量 是 实数instance
(domain FloorFn 1 RealNumber) Merge.kif 4988-4988 底整数函数 的 1 数量 是 实数instance
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 5077-5077 整数平方根函数 的 1 数量 是 实数instance
(domain LogFn 1 RealNumber) Merge.kif 5120-5120 对数函数 的 1 数量 是 实数instance
(domain MeasureFn 1 RealNumber) Merge.kif 6503-6503 计量函数 的 1 数量 是 实数instance
(domain NumeratorFn 1 RealNumber) Merge.kif 5185-5185 分子函数 的 1 数量 是 实数instance
(domain ReciprocalFn 1 RealNumber) Merge.kif 5224-5224 倒数函数 的 1 数量 是 实数instance
(domain SignumFn 1 RealNumber) Merge.kif 5309-5309 正或负值函数 的 1 数量 是 实数instance
(domain SquareRootFn 1 RealNumber) Merge.kif 5341-5341 平方根函数 的 1 数量 是 实数instance
(domain approximateValue 1 RealNumber) Mid-level-ontology.kif 28011-28011 approximateValue 的 1 数量 是 实数instance
(domain approximateValue 2 RealNumber) Mid-level-ontology.kif 28012-28012 approximateValue 的 2 数量 是 实数instance
(domain average 2 RealNumber) Merge.kif 5454-5454 average 的 2 数量 是 实数instance
(domain beliefGroupPercentInRegion 2 RealNumber) People.kif 1524-1524 beliefGroupPercentInRegion 的 2 数量 是 实数instance
(domain compressionRatio 2 RealNumber) Cars.kif 1910-1910 compressionRatio 的 2 数量 是 实数instance
(domain conditionalProbability 3 RealNumber) Merge.kif 2755-2755 机率 的 3 数量 是 实数instance
(domain confidenceInterval 2 RealNumber) UXExperimentalTerms.kif 660-660 confidenceInterval 的 2 数量 是 实数instance
(domain dampingRatio 2 RealNumber) Cars.kif 789-789 dampingRatio 的 2 数量 是 实数instance
(domain diseaseMortality 2 RealNumber) WMD.kif 840-840 diseaseMortality 的 2 数量 是 实数instance
(domain electricityFractionFromSource 3 RealNumber) Economy.kif 2048-2048 electricityFractionFromSource 的 3 数量 是 实数instance
(domain electricityFractionFromSourceInPeriod 3 RealNumber) Economy.kif 2032-2032 electricityFractionFromSourceInPeriod 的 3 数量 是 实数instance
(domain ethnicityPercentInRegion 2 RealNumber) People.kif 1543-1543 ethnicityPercentInRegion 的 2 数量 是 实数instance
(domain highestDecileShareOfHouseholdIncome 2 RealNumber) Economy.kif 1253-1253 highestDecileShareOfHouseholdIncome 的 2 数量 是 实数instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (and
        (equal
            (AbsoluteValueFn ?NUMBER1) ?NUMBER2)
        (instance ?NUMBER1 RealNumber)
        (instance ?NUMBER2 RealNumber))
    (or
        (and
            (instance ?NUMBER1 NonnegativeRealNumber)
            (equal ?NUMBER1 ?NUMBER2))
        (and
            (instance ?NUMBER1 NegativeRealNumber)
            (equal ?NUMBER2
                (SubtractionFn 0 ?NUMBER1)))))
Merge.kif 4924-4935 实数 的绝对值 equal 非负实数那个 实数实数instance那个 非负实数实数instance 若且唯若 那个 实数非负实数instance那个 实数 equal 那个 非负实数那个 实数负实数instance那个 非负实数 equal (0 和 那个 实数)
(=>
    (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 ?REL RelationExtendedToQuantities)
        (instance ?REL BinaryPredicate)
        (instance ?NUMBER1 RealNumber)
        (instance ?NUMBER2 RealNumber)
        (?REL ?NUMBER1 ?NUMBER2))
    (forall (?UNIT)
        (=>
            (instance ?UNIT UnitOfMeasure)
            (?REL
                (MeasureFn ?NUMBER1 ?UNIT)
                (MeasureFn ?NUMBER2 ?UNIT)))))
Merge.kif 6585-6595
(=>
    (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
(=>
    (instance ?N RealNumber)
    (equal
        (MeasureFn ?N Horsepower)
        (MeasureFn
            (MultiplicationFn ?N 746) Watt)))
Merge.kif 7145-7149

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


(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 2020-2024 数量负实数instance 若且唯若 那个 数量lessThan 0 和 那个 数量实数instance
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1998-2002 数量非负实数instance 若且唯若 那个 数量greaterThanOrEqualTo 0 和 那个 数量实数instance
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 2009-2013 数量正实数instance 若且唯若 那个 数量greaterThan 0 和 那个 数量实数instance
(=>
    (average ?LIST ?AVERAGE)
    (forall (?LISTITEM)
        (=>
            (inList ?LISTITEM ?LIST)
            (instance ?LISTITEM RealNumber))))
Merge.kif 5465-5470


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

Show without tree


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