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 1882-1884
(documentation RealNumber JapaneseLanguage "(無限の可能性がある)10進数として表現できる任意の Number。例:数直線の位置を持つ任意の Number。") japanese_format.kif 345-346
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 0/ 09/ Number-line.gif") pictureList.kif 11744-11744
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Real_Number_Line.PNG") pictureList.kif 10226-10226
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") pictureList.kif 11743-11743
(partition RealNumber NegativeRealNumber NonnegativeRealNumber) Merge.kif 1879-1879 实数 详尽无遗地 partition负实数非负实数
(partition RealNumber RationalNumber IrrationalNumber) Merge.kif 1880-1880 实数 详尽无遗地 partition有理数无理数
(subclass RealNumber Number) Merge.kif 1878-1878 实数数字subclass

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


(disjoint ComplexNumber RealNumber) Merge.kif 1996-1996 复数 和 % 2 是 disjoint
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1812-1812 数字 详尽无遗地 partition实数, 虚数, 和 复数
(range AdditionFn RealNumber) Merge.kif 4700-4700 加法函数range实数 的实例
(range ArcCosineFn RealNumber) Merge.kif 5246-5246 ArcCosineFnrange实数 的实例
(range ArcSineFn RealNumber) Merge.kif 5256-5256 ArcSineFnrange实数 的实例
(range ArcTangentFn RealNumber) Merge.kif 5236-5236 ArcTangentFnrange实数 的实例
(range AverageFn RealNumber) Merge.kif 3259-3259 AverageFnrange实数 的实例
(range BirthsPerThousandFn RealNumber) People.kif 97-97 每千人分娩range实数 的实例
(range ChildrenBornPerWomanFn RealNumber) People.kif 469-469 每个女人出生的孩子range实数 的实例
(range ClickThroughRateFn RealNumber) UXExperimentalTerms.kif 3537-3537 ClickThroughRateFnrange实数 的实例
(range CosineFn RealNumber) Merge.kif 4788-4788 馀弦函数range实数 的实例
(range DeathsPerThousandFn RealNumber) People.kif 130-130 每千人死亡range实数 的实例
(range DeathsPerThousandLiveBirthsFn RealNumber) People.kif 256-256 每千名活产婴儿死亡人数range实数 的实例
(range DivisionFn RealNumber) Merge.kif 4730-4730 除法函数range实数 的实例
(range ExponentiationFn RealNumber) Merge.kif 4807-4807 次幂函数range实数 的实例
(range FemaleLifeExpectancyAtBirthFn RealNumber) People.kif 422-422 女性出生时的预期寿命range实数 的实例
(range LifeExpectancyAtBirthFn RealNumber) People.kif 325-325 出生时的预期寿命range实数 的实例
(range LiftFn RealNumber) UXExperimentalTerms.kif 4760-4760 LiftFnrange实数 的实例
(range ListSumFn RealNumber) Merge.kif 3228-3228 ListSumFnrange实数 的实例
(range LogFn RealNumber) Merge.kif 4963-4963 对数函数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 4687-4687 乘法函数range实数 的实例
(range PPIFn RealNumber) UXExperimentalTerms.kif 3294-3294 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 4748-4748 绝对值函数 的 1 数量 是 实数instance
(domain AdditionFn 1 RealNumber) Merge.kif 4698-4698 加法函数 的 1 数量 是 实数instance
(domain AdditionFn 2 RealNumber) Merge.kif 4699-4699 加法函数 的 2 数量 是 实数instance
(domain ArcCosineFn 1 RealNumber) Merge.kif 5245-5245 ArcCosineFn 的 1 数量 是 实数instance
(domain ArcSineFn 1 RealNumber) Merge.kif 5255-5255 ArcSineFn 的 1 数量 是 实数instance
(domain ArcTangentFn 1 RealNumber) Merge.kif 5235-5235 ArcTangentFn 的 1 数量 是 实数instance
(domain CeilingFn 1 RealNumber) Merge.kif 4769-4769 顶整数函数 的 1 数量 是 实数instance
(domain DenominatorFn 1 RealNumber) Merge.kif 4796-4796 分母函数 的 1 数量 是 实数instance
(domain DivisionFn 1 RealNumber) Merge.kif 4728-4728 除法函数 的 1 数量 是 实数instance
(domain DivisionFn 2 RealNumber) Merge.kif 4729-4729 除法函数 的 2 数量 是 实数instance
(domain ExponentiationFn 1 RealNumber) Merge.kif 4805-4805 次幂函数 的 1 数量 是 实数instance
(domain FloorFn 1 RealNumber) Merge.kif 4814-4814 底整数函数 的 1 数量 是 实数instance
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 4909-4909 整数平方根函数 的 1 数量 是 实数instance
(domain LogFn 1 RealNumber) Merge.kif 4961-4961 对数函数 的 1 数量 是 实数instance
(domain MeasureFn 1 RealNumber) Merge.kif 6334-6334 计量函数 的 1 数量 是 实数instance
(domain MultiplicationFn 1 RealNumber) Merge.kif 4685-4685 乘法函数 的 1 数量 是 实数instance
(domain MultiplicationFn 2 RealNumber) Merge.kif 4686-4686 乘法函数 的 2 数量 是 实数instance
(domain NumeratorFn 1 RealNumber) Merge.kif 5022-5022 分子函数 的 1 数量 是 实数instance
(domain ReciprocalFn 1 RealNumber) Merge.kif 5056-5056 倒数函数 的 1 数量 是 实数instance
(domain RoundFn 1 RealNumber) Merge.kif 5156-5156 四舍五入函数 的 1 数量 是 实数instance
(domain SignumFn 1 RealNumber) Merge.kif 5175-5175 正或负值函数 的 1 数量 是 实数instance
(domain SineFn 1 RealNumber) Merge.kif 5197-5197 正弦函数 的 1 数量 是 实数instance
(domain SquareRootFn 1 RealNumber) Merge.kif 5205-5205 平方根函数 的 1 数量 是 实数instance
(domain SubtractionFn 1 RealNumber) Merge.kif 4712-4712 减法函数 的 1 数量 是 实数instance
(domain SubtractionFn 2 RealNumber) Merge.kif 4713-4713 减法函数 的 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 4754-4765 实数 的绝对值 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 3445-3465
(=>
    (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 3488-3508
(=>
    (instance ?DEGREE RealNumber)
    (equal
        (TangentFn ?DEGREE)
        (DivisionFn
            (SineFn ?DEGREE)
            (CosineFn ?DEGREE))))
Merge.kif 5225-5231
(=>
    (instance ?N RealNumber)
    (equal
        (MeasureFn ?N Horsepower)
        (MeasureFn
            (MultiplicationFn ?N 746) Watt)))
Merge.kif 6888-6892

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


(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1935-1939 实数负实数instance 若且唯若 那个 实数lessThan 0 和 那个 实数实数instance
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1913-1917 实数非负实数instance 若且唯若 那个 实数greaterThanOrEqualTo 0 和 那个 实数实数instance
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1924-1928 实数正实数instance 若且唯若 那个 实数greaterThan 0 和 那个 实数实数instance
(=>
    (average ?LIST ?AVERAGE)
    (forall (?LISTITEM)
        (=>
            (inList ?LISTITEM ?LIST)
            (instance ?LISTITEM RealNumber))))
Merge.kif 5355-5360


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