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 1854-1856
(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 1851-1851 partition RealNumber, NegativeRealNumber and NonnegativeRealNumber
(partition RealNumber RationalNumber IrrationalNumber) Merge.kif 1852-1852 partition RealNumber, RationalNumber and IrrationalNumber
(subclass RealNumber Number) Merge.kif 1850-1850 subclass RealNumber and Number

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


(disjoint ComplexNumber RealNumber) Merge.kif 1968-1968 disjoint ComplexNumber and RealNumber
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1784-1784 partition Number, RealNumber, ImaginaryNumber and ComplexNumber
(range AdditionFn RealNumber) Merge.kif 4649-4649 range AdditionFn and RealNumber
(range ArcCosineFn RealNumber) Merge.kif 5191-5191 range ArcCosineFn and RealNumber
(range ArcSineFn RealNumber) Merge.kif 5201-5201 range ArcSineFn and RealNumber
(range ArcTangentFn RealNumber) Merge.kif 5181-5181 range ArcTangentFn and RealNumber
(range AverageFn RealNumber) Merge.kif 3231-3231 range AverageFn and RealNumber
(range BirthsPerThousandFn RealNumber) People.kif 97-97 range BirthsPerThousandFn and RealNumber
(range ChildrenBornPerWomanFn RealNumber) People.kif 469-469 range ChildrenBornPerWomanFn and RealNumber
(range ClickThroughRateFn RealNumber) UXExperimentalTerms.kif 3537-3537 range ClickThroughRateFn and RealNumber
(range CosineFn RealNumber) Merge.kif 4737-4737 range CosineFn and RealNumber
(range DeathsPerThousandFn RealNumber) People.kif 130-130 range DeathsPerThousandFn and RealNumber
(range DeathsPerThousandLiveBirthsFn RealNumber) People.kif 256-256 range DeathsPerThousandLiveBirthsFn and RealNumber
(range DivisionFn RealNumber) Merge.kif 4679-4679 range DivisionFn and RealNumber
(range ExponentiationFn RealNumber) Merge.kif 4756-4756 range ExponentiationFn and RealNumber
(range FemaleLifeExpectancyAtBirthFn RealNumber) People.kif 422-422 range FemaleLifeExpectancyAtBirthFn and RealNumber
(range LifeExpectancyAtBirthFn RealNumber) People.kif 325-325 range LifeExpectancyAtBirthFn and RealNumber
(range LiftFn RealNumber) UXExperimentalTerms.kif 4760-4760 range LiftFn and RealNumber
(range ListSumFn RealNumber) Merge.kif 3200-3200 range ListSumFn and RealNumber
(range LogFn RealNumber) Merge.kif 4912-4912 range LogFn and RealNumber
(range MaleLifeExpectancyAtBirthFn RealNumber) People.kif 374-374 range MaleLifeExpectancyAtBirthFn and RealNumber
(range MaleToFemaleRatioFn RealNumber) People.kif 219-219 range MaleToFemaleRatioFn and RealNumber
(range MigrantsPerThousandFn RealNumber) People.kif 166-166 range MigrantsPerThousandFn and RealNumber
(range MultiplicationFn RealNumber) Merge.kif 4636-4636 range MultiplicationFn and RealNumber
(range PPIFn RealNumber) UXExperimentalTerms.kif 3294-3294 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 4697-4697 domain AbsoluteValueFn, 1 and RealNumber
(domain AdditionFn 1 RealNumber) Merge.kif 4647-4647 domain AdditionFn, 1 and RealNumber
(domain AdditionFn 2 RealNumber) Merge.kif 4648-4648 domain AdditionFn, 2 and RealNumber
(domain ArcCosineFn 1 RealNumber) Merge.kif 5190-5190 domain ArcCosineFn, 1 and RealNumber
(domain ArcSineFn 1 RealNumber) Merge.kif 5200-5200 domain ArcSineFn, 1 and RealNumber
(domain ArcTangentFn 1 RealNumber) Merge.kif 5180-5180 domain ArcTangentFn, 1 and RealNumber
(domain CeilingFn 1 RealNumber) Merge.kif 4718-4718 domain CeilingFn, 1 and RealNumber
(domain DenominatorFn 1 RealNumber) Merge.kif 4745-4745 domain DenominatorFn, 1 and RealNumber
(domain DivisionFn 1 RealNumber) Merge.kif 4677-4677 domain DivisionFn, 1 and RealNumber
(domain DivisionFn 2 RealNumber) Merge.kif 4678-4678 domain DivisionFn, 2 and RealNumber
(domain ExponentiationFn 1 RealNumber) Merge.kif 4754-4754 domain ExponentiationFn, 1 and RealNumber
(domain FloorFn 1 RealNumber) Merge.kif 4763-4763 domain FloorFn, 1 and RealNumber
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 4858-4858 domain IntegerSquareRootFn, 1 and RealNumber
(domain LogFn 1 RealNumber) Merge.kif 4910-4910 domain LogFn, 1 and RealNumber
(domain MeasureFn 1 RealNumber) Merge.kif 6287-6287 domain MeasureFn, 1 and RealNumber
(domain MultiplicationFn 1 RealNumber) Merge.kif 4634-4634 domain MultiplicationFn, 1 and RealNumber
(domain MultiplicationFn 2 RealNumber) Merge.kif 4635-4635 domain MultiplicationFn, 2 and RealNumber
(domain NumeratorFn 1 RealNumber) Merge.kif 4971-4971 domain NumeratorFn, 1 and RealNumber
(domain ReciprocalFn 1 RealNumber) Merge.kif 5005-5005 domain ReciprocalFn, 1 and RealNumber
(domain RoundFn 1 RealNumber) Merge.kif 5101-5101 domain RoundFn, 1 and RealNumber
(domain SignumFn 1 RealNumber) Merge.kif 5120-5120 domain SignumFn, 1 and RealNumber
(domain SineFn 1 RealNumber) Merge.kif 5142-5142 domain SineFn, 1 and RealNumber
(domain SquareRootFn 1 RealNumber) Merge.kif 5150-5150 domain SquareRootFn, 1 and RealNumber
(domain SubtractionFn 1 RealNumber) Merge.kif 4661-4661 domain SubtractionFn, 1 and RealNumber
(domain SubtractionFn 2 RealNumber) Merge.kif 4662-4662 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 4703-4714 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 ?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 5170-5176
(=>
    (instance ?N RealNumber)
    (equal
        (MeasureFn ?N Horsepower)
        (MeasureFn
            (MultiplicationFn ?N 746) Watt)))
Merge.kif 6841-6845

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


(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1907-1911 instance RealNumber and NegativeRealNumber lessThan RealNumber and 0 instance RealNumber and RealNumber
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1885-1889 instance RealNumber and NonnegativeRealNumber greaterThanOrEqualTo RealNumber and 0 instance RealNumber and RealNumber
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1896-1900 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 5300-5305


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