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 1843-1845
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 0/ 09/ Number-line.gif") pictureList.kif 11751-11751
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Real_Number_Line.PNG") pictureList.kif 10233-10233
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") pictureList.kif 11750-11750
(partition RealNumber NegativeRealNumber NonnegativeRealNumber) Merge.kif 1840-1840 实数 详尽无遗地 partition负实数非负实数
(partition RealNumber RationalNumber IrrationalNumber) Merge.kif 1841-1841 实数 详尽无遗地 partition有理数无理数
(subclass RealNumber Number) Merge.kif 1839-1839 实数数字subclass

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


(disjoint ComplexNumber RealNumber) Merge.kif 1957-1957 复数 和 % 2 是 disjoint
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1773-1773 数字 详尽无遗地 partition实数, 虚数, 和 复数
(range AdditionFn RealNumber) Merge.kif 4626-4626 加法函数range实数 的实例
(range ArcCosineFn RealNumber) Merge.kif 5168-5168 ArcCosineFnrange实数 的实例
(range ArcSineFn RealNumber) Merge.kif 5178-5178 ArcSineFnrange实数 的实例
(range ArcTangentFn RealNumber) Merge.kif 5158-5158 ArcTangentFnrange实数 的实例
(range AverageFn RealNumber) Merge.kif 3209-3209 AverageFnrange实数 的实例
(range BirthsPerThousandFn RealNumber) People.kif 97-97 每千人分娩range实数 的实例
(range ChildrenBornPerWomanFn RealNumber) People.kif 469-469 每个女人出生的孩子range实数 的实例
(range ClickThroughRateFn RealNumber) UXExperimentalTerms.kif 3541-3541 ClickThroughRateFnrange实数 的实例
(range CosineFn RealNumber) Merge.kif 4714-4714 馀弦函数range实数 的实例
(range DeathsPerThousandFn RealNumber) People.kif 130-130 每千人死亡range实数 的实例
(range DeathsPerThousandLiveBirthsFn RealNumber) People.kif 256-256 每千名活产婴儿死亡人数range实数 的实例
(range DivisionFn RealNumber) Merge.kif 4656-4656 除法函数range实数 的实例
(range ExponentiationFn RealNumber) Merge.kif 4733-4733 次幂函数range实数 的实例
(range FemaleLifeExpectancyAtBirthFn RealNumber) People.kif 422-422 女性出生时的预期寿命range实数 的实例
(range LifeExpectancyAtBirthFn RealNumber) People.kif 325-325 出生时的预期寿命range实数 的实例
(range LiftFn RealNumber) UXExperimentalTerms.kif 4758-4758 LiftFnrange实数 的实例
(range ListSumFn RealNumber) Merge.kif 3178-3178 ListSumFnrange实数 的实例
(range LogFn RealNumber) Merge.kif 4889-4889 对数函数range实数 的实例
(range MaleLifeExpectancyAtBirthFn RealNumber) People.kif 374-374 男性出生时的预期寿命range实数 的实例
(range MaleToFemaleRatioFn RealNumber) People.kif 219-219 男女比例range实数 的实例
(range MigrantsPerThousandFn RealNumber) People.kif 166-166 每千人移民range实数 的实例
(range MultiplicationFn RealNumber) Merge.kif 4613-4613 乘法函数range实数 的实例
(range PPIFn RealNumber) UXExperimentalTerms.kif 3295-3295 PPIFnrange实数 的实例

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 4674-4674 绝对值函数 的 1 数量 是 实数instance
(domain AdditionFn 1 RealNumber) Merge.kif 4624-4624 加法函数 的 1 数量 是 实数instance
(domain AdditionFn 2 RealNumber) Merge.kif 4625-4625 加法函数 的 2 数量 是 实数instance
(domain ArcCosineFn 1 RealNumber) Merge.kif 5167-5167 ArcCosineFn 的 1 数量 是 实数instance
(domain ArcSineFn 1 RealNumber) Merge.kif 5177-5177 ArcSineFn 的 1 数量 是 实数instance
(domain ArcTangentFn 1 RealNumber) Merge.kif 5157-5157 ArcTangentFn 的 1 数量 是 实数instance
(domain CeilingFn 1 RealNumber) Merge.kif 4695-4695 顶整数函数 的 1 数量 是 实数instance
(domain DenominatorFn 1 RealNumber) Merge.kif 4722-4722 分母函数 的 1 数量 是 实数instance
(domain DivisionFn 1 RealNumber) Merge.kif 4654-4654 除法函数 的 1 数量 是 实数instance
(domain DivisionFn 2 RealNumber) Merge.kif 4655-4655 除法函数 的 2 数量 是 实数instance
(domain ExponentiationFn 1 RealNumber) Merge.kif 4731-4731 次幂函数 的 1 数量 是 实数instance
(domain FloorFn 1 RealNumber) Merge.kif 4740-4740 底整数函数 的 1 数量 是 实数instance
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 4835-4835 整数平方根函数 的 1 数量 是 实数instance
(domain LogFn 1 RealNumber) Merge.kif 4887-4887 对数函数 的 1 数量 是 实数instance
(domain MeasureFn 1 RealNumber) Merge.kif 6260-6260 计量函数 的 1 数量 是 实数instance
(domain MultiplicationFn 1 RealNumber) Merge.kif 4611-4611 乘法函数 的 1 数量 是 实数instance
(domain MultiplicationFn 2 RealNumber) Merge.kif 4612-4612 乘法函数 的 2 数量 是 实数instance
(domain NumeratorFn 1 RealNumber) Merge.kif 4948-4948 分子函数 的 1 数量 是 实数instance
(domain ReciprocalFn 1 RealNumber) Merge.kif 4982-4982 倒数函数 的 1 数量 是 实数instance
(domain RoundFn 1 RealNumber) Merge.kif 5078-5078 四舍五入函数 的 1 数量 是 实数instance
(domain SignumFn 1 RealNumber) Merge.kif 5097-5097 正或负值函数 的 1 数量 是 实数instance
(domain SineFn 1 RealNumber) Merge.kif 5119-5119 正弦函数 的 1 数量 是 实数instance
(domain SquareRootFn 1 RealNumber) Merge.kif 5127-5127 平方根函数 的 1 数量 是 实数instance
(domain SubtractionFn 1 RealNumber) Merge.kif 4638-4638 减法函数 的 1 数量 是 实数instance
(domain SubtractionFn 2 RealNumber) Merge.kif 4639-4639 减法函数 的 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.0 ?NUMBER1)))))
Merge.kif 4680-4691 实数 的绝对值 equal 非负实数那个 实数实数instance那个 非负实数实数instance 若且唯若 那个 实数非负实数instance那个 实数 equal 那个 非负实数那个 实数负实数instance那个 非负实数 equal (0.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 ?BUYING ?ITEM))))))))
    (equal
        (ABPFn ?BUYINGS)
        (DivisionFn ?GMB ?TOTAL)))
UXExperimentalTerms.kif 3449-3469
(=>
    (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 3492-3512
(=>
    (instance ?DEGREE RealNumber)
    (equal
        (TangentFn ?DEGREE)
        (DivisionFn
            (SineFn ?DEGREE)
            (CosineFn ?DEGREE))))
Merge.kif 5147-5153
(=>
    (instance ?N RealNumber)
    (equal
        (MeasureFn ?N Horsepower)
        (MeasureFn
            (MultiplicationFn ?N 746) Watt)))
Merge.kif 6814-6818

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


(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1896-1900 实数负实数instance 若且唯若 那个 实数lessThan 0 和 那个 实数实数instance
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1874-1878 实数非负实数instance 若且唯若 那个 实数greaterThanOrEqualTo 0 和 那个 实数实数instance
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1885-1889 实数正实数instance 若且唯若 那个 实数greaterThan 0 和 那个 实数实数instance
(=>
    (average ?LIST ?AVERAGE)
    (forall (?LISTITEM)
        (=>
            (inList ?LISTITEM ?LIST)
            (instance ?LISTITEM RealNumber))))
Merge.kif 5277-5282


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