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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RealNumber
RealNumber(实数)

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


(documentation RealNumber ChineseLanguage "任何可以表达为一个(可能是无限的)十进制的 Number, 即任何在数字线上佔有一席位 Number。") chinese_format.kif 1737-1738
(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 1803-1805
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 0/ 09/ Number-line.gif") pictureList.kif 11762-11762
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Real_Number_Line.PNG") pictureList.kif 10244-10244
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") pictureList.kif 11761-11761
(partition RealNumber NegativeRealNumber NonnegativeRealNumber) Merge.kif 1800-1800 实数 详尽无遗地 partition负实数非负实数
(partition RealNumber RationalNumber IrrationalNumber) Merge.kif 1801-1801 实数 详尽无遗地 partition有理数无理数
(subclass RealNumber Number) Merge.kif 1799-1799 实数数字subclass

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


(disjoint ComplexNumber RealNumber) Merge.kif 1917-1917 复数 和 % 2 是 disjoint
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1733-1733 数字 详尽无遗地 partition实数, 虚数, 和 复数
(range BirthsPerThousandFn RealNumber) People.kif 93-93 每千人分娩range实数 的实例
(range ChildrenBornPerWomanFn RealNumber) People.kif 449-449 每个女人出生的孩子range实数 的实例
(range ClickThroughRateFn RealNumber) UXExperimentalTerms.kif 3534-3534 ClickThroughRateFnrange实数 的实例
(range CosineFn RealNumber) Merge.kif 4612-4612 馀弦函数range实数 的实例
(range DeathsPerThousandFn RealNumber) People.kif 124-124 每千人死亡range实数 的实例
(range DeathsPerThousandLiveBirthsFn RealNumber) People.kif 245-245 每千名活产婴儿死亡人数range实数 的实例
(range ExponentiationFn RealNumber) Merge.kif 4631-4631 次幂函数range实数 的实例
(range FemaleLifeExpectancyAtBirthFn RealNumber) People.kif 404-404 女性出生时的预期寿命range实数 的实例
(range LifeExpectancyAtBirthFn RealNumber) People.kif 312-312 出生时的预期寿命range实数 的实例
(range LiftFn RealNumber) UXExperimentalTerms.kif 4753-4753 LiftFnrange实数 的实例
(range LogFn RealNumber) Merge.kif 4764-4764 对数函数range实数 的实例
(range MagnitudeFn RealNumber) Merge.kif 6298-6298 幅度函数range实数 的实例
(range MaleLifeExpectancyAtBirthFn RealNumber) People.kif 359-359 男性出生时的预期寿命range实数 的实例
(range MaleToFemaleRatioFn RealNumber) People.kif 208-208 男女比例range实数 的实例
(range MigrantsPerThousandFn RealNumber) People.kif 158-158 每千人移民range实数 的实例
(range PPIFn RealNumber) UXExperimentalTerms.kif 3290-3290 PPIFnrange实数 的实例
(range PPSFn RealNumber) UXExperimentalTerms.kif 3251-3251 PPSFnrange实数 的实例
(range PopulationGrowthFn RealNumber) People.kif 64-64 人口增长range实数 的实例
(range ProbabilityFn RealNumber) Merge.kif 2475-2475 表示机率的函数range实数 的实例
(range RealNumberFn RealNumber) Merge.kif 4849-4849 实数函数range实数 的实例
(range ReciprocalFn RealNumber) Merge.kif 4858-4858 倒数函数range实数 的实例
(range SRPEngagementFn RealNumber) UXExperimentalTerms.kif 3915-3915 SRPEngagementFnrange实数 的实例
(range SineFn RealNumber) Merge.kif 4961-4961 正弦函数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 4572-4572 绝对值函数 的 1 数量 是 实数instance
(domain CeilingFn 1 RealNumber) Merge.kif 4593-4593 顶整数函数 的 1 数量 是 实数instance
(domain DenominatorFn 1 RealNumber) Merge.kif 4620-4620 分母函数 的 1 数量 是 实数instance
(domain ExponentiationFn 1 RealNumber) Merge.kif 4629-4629 次幂函数 的 1 数量 是 实数instance
(domain FloorFn 1 RealNumber) Merge.kif 4638-4638 底整数函数 的 1 数量 是 实数instance
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 4721-4721 整数平方根函数 的 1 数量 是 实数instance
(domain LogFn 1 RealNumber) Merge.kif 4762-4762 对数函数 的 1 数量 是 实数instance
(domain MeasureFn 1 RealNumber) Merge.kif 6033-6033 计量函数 的 1 数量 是 实数instance
(domain NumeratorFn 1 RealNumber) Merge.kif 4823-4823 分子函数 的 1 数量 是 实数instance
(domain ReciprocalFn 1 RealNumber) Merge.kif 4857-4857 倒数函数 的 1 数量 是 实数instance
(domain SignumFn 1 RealNumber) Merge.kif 4938-4938 正或负值函数 的 1 数量 是 实数instance
(domain SquareRootFn 1 RealNumber) Merge.kif 4968-4968 平方根函数 的 1 数量 是 实数instance
(domain approximateValue 1 RealNumber) Mid-level-ontology.kif 28042-28042 approximateValue 的 1 数量 是 实数instance
(domain approximateValue 2 RealNumber) Mid-level-ontology.kif 28043-28043 approximateValue 的 2 数量 是 实数instance
(domain average 2 RealNumber) Merge.kif 5077-5077 平均 的 2 数量 是 实数instance
(domain beliefGroupPercentInRegion 2 RealNumber) People.kif 1528-1528 beliefGroupPercentInRegion 的 2 数量 是 实数instance
(domain compressionRatio 2 RealNumber) Cars.kif 1911-1911 compressionRatio 的 2 数量 是 实数instance
(domain conditionalProbability 3 RealNumber) Merge.kif 2486-2486 机率 的 3 数量 是 实数instance
(domain confidenceInterval 2 RealNumber) UXExperimentalTerms.kif 658-658 confidenceInterval 的 2 数量 是 实数instance
(domain dampingRatio 2 RealNumber) Cars.kif 790-790 dampingRatio 的 2 数量 是 实数instance
(domain diseaseMortality 2 RealNumber) WMD.kif 847-847 疾病死亡率 的 2 数量 是 实数instance
(domain electricityFractionFromSource 3 RealNumber) Economy.kif 2048-2048 来自电力的电力部分 的 3 数量 是 实数instance
(domain electricityFractionFromSourceInPeriod 3 RealNumber) Economy.kif 2032-2032 来自时期的电力部分 的 3 数量 是 实数instance
(domain ethnicityPercentInRegion 2 RealNumber) People.kif 1547-1547 ethnicityPercentInRegion 的 2 数量 是 实数instance
(domain highestDecileShareOfHouseholdIncome 2 RealNumber) Economy.kif 1253-1253 最高的等分家庭收入 的 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 4578-4589 实数 的绝对值 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 3442-3462
(=>
    (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 6112-6122
(=>
    (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 3485-3505
(=>
    (instance ?N RealNumber)
    (equal
        (MeasureFn ?N Horsepower)
        (MeasureFn
            (MultiplicationFn ?N 746) Watt)))
Merge.kif 6604-6608

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


(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1856-1860 数量负实数instance 若且唯若 那个 数量lessThan 0 和 那个 数量实数instance
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1834-1838 数量非负实数instance 若且唯若 那个 数量greaterThanOrEqualTo 0 和 那个 数量实数instance
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1845-1849 数量正实数instance 若且唯若 那个 数量greaterThan 0 和 那个 数量实数instance
(=>
    (average ?LIST ?AVERAGE)
    (forall (?LISTITEM)
        (=>
            (inList ?LISTITEM ?LIST)
            (instance ?LISTITEM RealNumber))))
Merge.kif 5085-5090


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