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。") 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 1835-1837
(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 1832-1832 partition RealNumber, NegativeRealNumber and NonnegativeRealNumber
(partition RealNumber RationalNumber IrrationalNumber) Merge.kif 1833-1833 partition RealNumber, RationalNumber and IrrationalNumber
(subclass RealNumber Number) Merge.kif 1831-1831 subclass RealNumber and Number

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


(disjoint ComplexNumber RealNumber) Merge.kif 1949-1949 disjoint ComplexNumber and RealNumber
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1765-1765 partition Number, RealNumber, ImaginaryNumber and ComplexNumber
(range AdditionFn RealNumber) Merge.kif 4618-4618 range AdditionFn and RealNumber
(range ArcCosineFn RealNumber) Merge.kif 5160-5160 range ArcCosineFn and RealNumber
(range ArcSineFn RealNumber) Merge.kif 5170-5170 range ArcSineFn and RealNumber
(range ArcTangentFn RealNumber) Merge.kif 5150-5150 range ArcTangentFn and RealNumber
(range AverageFn RealNumber) Merge.kif 3201-3201 range AverageFn and RealNumber
(range BirthsPerThousandFn RealNumber) People.kif 97-97 range BirthsPerThousandFn and RealNumber
(range ChildrenBornPerWomanFn RealNumber) People.kif 456-456 range ChildrenBornPerWomanFn and RealNumber
(range ClickThroughRateFn RealNumber) UXExperimentalTerms.kif 3539-3539 range ClickThroughRateFn and RealNumber
(range CosineFn RealNumber) Merge.kif 4706-4706 range CosineFn and RealNumber
(range DeathsPerThousandFn RealNumber) People.kif 128-128 range DeathsPerThousandFn and RealNumber
(range DeathsPerThousandLiveBirthsFn RealNumber) People.kif 249-249 range DeathsPerThousandLiveBirthsFn and RealNumber
(range DivisionFn RealNumber) Merge.kif 4648-4648 range DivisionFn and RealNumber
(range ExponentiationFn RealNumber) Merge.kif 4725-4725 range ExponentiationFn and RealNumber
(range FemaleLifeExpectancyAtBirthFn RealNumber) People.kif 411-411 range FemaleLifeExpectancyAtBirthFn and RealNumber
(range LifeExpectancyAtBirthFn RealNumber) People.kif 316-316 range LifeExpectancyAtBirthFn and RealNumber
(range LiftFn RealNumber) UXExperimentalTerms.kif 4756-4756 range LiftFn and RealNumber
(range ListSumFn RealNumber) Merge.kif 3170-3170 range ListSumFn and RealNumber
(range LogFn RealNumber) Merge.kif 4881-4881 range LogFn and RealNumber
(range MaleLifeExpectancyAtBirthFn RealNumber) People.kif 363-363 range MaleLifeExpectancyAtBirthFn and RealNumber
(range MaleToFemaleRatioFn RealNumber) People.kif 212-212 range MaleToFemaleRatioFn and RealNumber
(range MigrantsPerThousandFn RealNumber) People.kif 162-162 range MigrantsPerThousandFn and RealNumber
(range MultiplicationFn RealNumber) Merge.kif 4605-4605 range MultiplicationFn and RealNumber
(range PPIFn RealNumber) UXExperimentalTerms.kif 3295-3295 range PPIFn and RealNumber

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 4666-4666 domain AbsoluteValueFn, 1 and RealNumber
(domain AdditionFn 1 RealNumber) Merge.kif 4616-4616 domain AdditionFn, 1 and RealNumber
(domain AdditionFn 2 RealNumber) Merge.kif 4617-4617 domain AdditionFn, 2 and RealNumber
(domain ArcCosineFn 1 RealNumber) Merge.kif 5159-5159 domain ArcCosineFn, 1 and RealNumber
(domain ArcSineFn 1 RealNumber) Merge.kif 5169-5169 domain ArcSineFn, 1 and RealNumber
(domain ArcTangentFn 1 RealNumber) Merge.kif 5149-5149 domain ArcTangentFn, 1 and RealNumber
(domain CeilingFn 1 RealNumber) Merge.kif 4687-4687 domain CeilingFn, 1 and RealNumber
(domain DenominatorFn 1 RealNumber) Merge.kif 4714-4714 domain DenominatorFn, 1 and RealNumber
(domain DivisionFn 1 RealNumber) Merge.kif 4646-4646 domain DivisionFn, 1 and RealNumber
(domain DivisionFn 2 RealNumber) Merge.kif 4647-4647 domain DivisionFn, 2 and RealNumber
(domain ExponentiationFn 1 RealNumber) Merge.kif 4723-4723 domain ExponentiationFn, 1 and RealNumber
(domain FloorFn 1 RealNumber) Merge.kif 4732-4732 domain FloorFn, 1 and RealNumber
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 4827-4827 domain IntegerSquareRootFn, 1 and RealNumber
(domain LogFn 1 RealNumber) Merge.kif 4879-4879 domain LogFn, 1 and RealNumber
(domain MeasureFn 1 RealNumber) Merge.kif 6252-6252 domain MeasureFn, 1 and RealNumber
(domain MultiplicationFn 1 RealNumber) Merge.kif 4603-4603 domain MultiplicationFn, 1 and RealNumber
(domain MultiplicationFn 2 RealNumber) Merge.kif 4604-4604 domain MultiplicationFn, 2 and RealNumber
(domain NumeratorFn 1 RealNumber) Merge.kif 4940-4940 domain NumeratorFn, 1 and RealNumber
(domain ReciprocalFn 1 RealNumber) Merge.kif 4974-4974 domain ReciprocalFn, 1 and RealNumber
(domain RoundFn 1 RealNumber) Merge.kif 5070-5070 domain RoundFn, 1 and RealNumber
(domain SignumFn 1 RealNumber) Merge.kif 5089-5089 domain SignumFn, 1 and RealNumber
(domain SineFn 1 RealNumber) Merge.kif 5111-5111 domain SineFn, 1 and RealNumber
(domain SquareRootFn 1 RealNumber) Merge.kif 5119-5119 domain SquareRootFn, 1 and RealNumber
(domain SubtractionFn 1 RealNumber) Merge.kif 4630-4630 domain SubtractionFn, 1 and RealNumber
(domain SubtractionFn 2 RealNumber) Merge.kif 4631-4631 domain SubtractionFn, 2 and RealNumber

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 4672-4683 equal AbsoluteValueFn RealNumber and NonnegativeRealNumber instance RealNumber and RealNumber instance NonnegativeRealNumber and RealNumber instance RealNumber and NonnegativeRealNumber equal RealNumber and NonnegativeRealNumber instance RealNumber and NegativeRealNumber equal NonnegativeRealNumber and SubtractionFn 0.0 and RealNumber
(=>
    (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 3447-3467
(=>
    (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 3490-3510
(=>
    (instance ?DEGREE RealNumber)
    (equal
        (TangentFn ?DEGREE)
        (DivisionFn
            (SineFn ?DEGREE)
            (CosineFn ?DEGREE))))
Merge.kif 5139-5145
(=>
    (instance ?N RealNumber)
    (equal
        (MeasureFn ?N Horsepower)
        (MeasureFn
            (MultiplicationFn ?N 746) Watt)))
Merge.kif 6806-6810

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


(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1888-1892 instance RealNumber and NegativeRealNumber lessThan RealNumber and 0 instance RealNumber and RealNumber
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1866-1870 instance RealNumber and NonnegativeRealNumber greaterThanOrEqualTo RealNumber and 0 instance RealNumber and RealNumber
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1877-1881 instance RealNumber and PositiveRealNumber greaterThan RealNumber and 0 instance RealNumber and RealNumber
(=>
    (average ?LIST ?AVERAGE)
    (forall (?LISTITEM)
        (=>
            (inList ?LISTITEM ?LIST)
            (instance ?LISTITEM RealNumber))))
Merge.kif 5269-5274


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 3.0 is open source software produced by Articulate Software and its partners