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 1813-1815
(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 1810-1810
(partition RealNumber RationalNumber IrrationalNumber) Merge.kif 1811-1811
(subclass RealNumber Number) Merge.kif 1809-1809

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


(disjoint ComplexNumber RealNumber) Merge.kif 1927-1927
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1743-1743
(range AdditionFn RealNumber) Merge.kif 4547-4547
(range ArcCosineFn RealNumber) Merge.kif 5032-5032
(range ArcSineFn RealNumber) Merge.kif 5042-5042
(range ArcTangentFn RealNumber) Merge.kif 5022-5022
(range AverageFn RealNumber) Merge.kif 3165-3165
(range BirthsPerThousandFn RealNumber) People.kif 97-97
(range ChildrenBornPerWomanFn RealNumber) People.kif 453-453
(range ClickThroughRateFn RealNumber) UXExperimentalTerms.kif 3539-3539
(range CosineFn RealNumber) Merge.kif 4635-4635
(range DeathsPerThousandFn RealNumber) People.kif 128-128
(range DeathsPerThousandLiveBirthsFn RealNumber) People.kif 249-249
(range DivisionFn RealNumber) Merge.kif 4577-4577
(range ExponentiationFn RealNumber) Merge.kif 4654-4654
(range FemaleLifeExpectancyAtBirthFn RealNumber) People.kif 408-408
(range LifeExpectancyAtBirthFn RealNumber) People.kif 316-316
(range LiftFn RealNumber) UXExperimentalTerms.kif 4756-4756
(range ListSumFn RealNumber) Merge.kif 3134-3134
(range LogFn RealNumber) Merge.kif 4787-4787
(range MagnitudeFn RealNumber) Merge.kif 6356-6356
(range MaleLifeExpectancyAtBirthFn RealNumber) People.kif 363-363
(range MaleToFemaleRatioFn RealNumber) People.kif 212-212
(range MigrantsPerThousandFn RealNumber) People.kif 162-162
(range MultiplicationFn RealNumber) Merge.kif 4534-4534

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 4595-4595
(domain AdditionFn 1 RealNumber) Merge.kif 4545-4545
(domain AdditionFn 2 RealNumber) Merge.kif 4546-4546
(domain ArcCosineFn 1 RealNumber) Merge.kif 5031-5031
(domain ArcSineFn 1 RealNumber) Merge.kif 5041-5041
(domain ArcTangentFn 1 RealNumber) Merge.kif 5021-5021
(domain CeilingFn 1 RealNumber) Merge.kif 4616-4616
(domain DenominatorFn 1 RealNumber) Merge.kif 4643-4643
(domain DivisionFn 1 RealNumber) Merge.kif 4575-4575
(domain DivisionFn 2 RealNumber) Merge.kif 4576-4576
(domain ExponentiationFn 1 RealNumber) Merge.kif 4652-4652
(domain FloorFn 1 RealNumber) Merge.kif 4661-4661
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 4744-4744
(domain LogFn 1 RealNumber) Merge.kif 4785-4785
(domain MeasureFn 1 RealNumber) Merge.kif 6091-6091
(domain MultiplicationFn 1 RealNumber) Merge.kif 4532-4532
(domain MultiplicationFn 2 RealNumber) Merge.kif 4533-4533
(domain NumeratorFn 1 RealNumber) Merge.kif 4846-4846
(domain ReciprocalFn 1 RealNumber) Merge.kif 4880-4880
(domain RoundFn 1 RealNumber) Merge.kif 4942-4942
(domain SignumFn 1 RealNumber) Merge.kif 4961-4961
(domain SineFn 1 RealNumber) Merge.kif 4983-4983
(domain SquareRootFn 1 RealNumber) Merge.kif 4991-4991
(domain SubtractionFn 1 RealNumber) Merge.kif 4559-4559
(domain SubtractionFn 2 RealNumber) Merge.kif 4560-4560

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 4601-4612
(=>
    (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 5011-5017
(=>
    (instance ?N RealNumber)
    (equal
        (MeasureFn ?N Horsepower)
        (MeasureFn
            (MultiplicationFn ?N 746) Watt)))
Merge.kif 6667-6671

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


(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1866-1870
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1844-1848
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1855-1859
(=>
    (average ?LIST ?AVERAGE)
    (forall (?LISTITEM)
        (=>
            (inList ?LISTITEM ?LIST)
            (instance ?LISTITEM RealNumber))))
Merge.kif 5141-5146


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