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。") Merge.kif 3026-3027
(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 3022-3024
(documentation RealNumber JapaneseLanguage "(無限の可能性がある)10進数として表現できる任意の Number。例:数直線の位置を持つ任意の Number。") Merge.kif 3029-3030
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 0/ 09/ Number-line.gif") pictureList.kif 11762-11762
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Real_Number_Line.PNG") pictureList.kif 10244-10244
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") pictureList.kif 11761-11761
(partition RealNumber NegativeRealNumber NonnegativeRealNumber) Merge.kif 3019-3019
(partition RealNumber RationalNumber IrrationalNumber) Merge.kif 3020-3020
(subclass RealNumber Number) Merge.kif 3018-3018

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


(disjoint ComplexNumber RealNumber) Merge.kif 3207-3207
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 2922-2922
(range BirthsPerThousandFn RealNumber) People.kif 93-93
(range ChildrenBornPerWomanFn RealNumber) People.kif 449-449
(range ClickThroughRateFn RealNumber) UXExperimentalTerms.kif 3525-3525
(range CosineFn RealNumber) Merge.kif 7105-7105
(range DeathsPerThousandFn RealNumber) People.kif 124-124
(range DeathsPerThousandLiveBirthsFn RealNumber) People.kif 245-245
(range ExponentiationFn RealNumber) Merge.kif 7136-7136
(range FemaleLifeExpectancyAtBirthFn RealNumber) People.kif 404-404
(range LifeExpectancyAtBirthFn RealNumber) People.kif 312-312
(range LiftFn RealNumber) UXExperimentalTerms.kif 4746-4746
(range LogFn RealNumber) Merge.kif 7313-7313
(range MagnitudeFn RealNumber) Merge.kif 9526-9526
(range MaleLifeExpectancyAtBirthFn RealNumber) People.kif 359-359
(range MaleToFemaleRatioFn RealNumber) People.kif 208-208
(range MigrantsPerThousandFn RealNumber) People.kif 158-158
(range PPIFn RealNumber) UXExperimentalTerms.kif 3292-3292
(range PPSFn RealNumber) UXExperimentalTerms.kif 3253-3253
(range PopulationGrowthFn RealNumber) People.kif 64-64
(range ProbabilityFn RealNumber) Merge.kif 4169-4169
(range RealNumberFn RealNumber) Merge.kif 7440-7440
(range ReciprocalFn RealNumber) Merge.kif 7455-7455
(range SRPEngagementFn RealNumber) UXExperimentalTerms.kif 3908-3908
(range SineFn RealNumber) Merge.kif 7588-7588

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 7053-7053
(domain CeilingFn 1 RealNumber) Merge.kif 7080-7080
(domain DenominatorFn 1 RealNumber) Merge.kif 7119-7119
(domain ExponentiationFn 1 RealNumber) Merge.kif 7134-7134
(domain FloorFn 1 RealNumber) Merge.kif 7149-7149
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 7258-7258
(domain LogFn 1 RealNumber) Merge.kif 7311-7311
(domain MeasureFn 1 RealNumber) Merge.kif 9168-9168
(domain NumeratorFn 1 RealNumber) Merge.kif 7390-7390
(domain ReciprocalFn 1 RealNumber) Merge.kif 7454-7454
(domain SignumFn 1 RealNumber) Merge.kif 7559-7559
(domain SquareRootFn 1 RealNumber) Merge.kif 7601-7601
(domain approximateValue 1 RealNumber) Mid-level-ontology.kif 28012-28012
(domain approximateValue 2 RealNumber) Mid-level-ontology.kif 28013-28013
(domain average 2 RealNumber) Merge.kif 7740-7740
(domain beliefGroupPercentInRegion 2 RealNumber) People.kif 1524-1524
(domain compressionRatio 2 RealNumber) Cars.kif 1910-1910
(domain conditionalProbability 3 RealNumber) Merge.kif 4189-4189
(domain confidenceInterval 2 RealNumber) UXExperimentalTerms.kif 660-660
(domain dampingRatio 2 RealNumber) Cars.kif 789-789
(domain diseaseMortality 2 RealNumber) WMD.kif 840-840
(domain electricityFractionFromSource 3 RealNumber) Economy.kif 2048-2048
(domain electricityFractionFromSourceInPeriod 3 RealNumber) Economy.kif 2032-2032
(domain ethnicityPercentInRegion 2 RealNumber) People.kif 1543-1543
(domain highestDecileShareOfHouseholdIncome 2 RealNumber) Economy.kif 1253-1253

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 ?NUMBER1)))))
Merge.kif 7065-7076
(=>
    (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 3444-3464
(=>
    (and
        (instance ?REL RelationExtendedToQuantities)
        (instance ?REL BinaryPredicate)
        (instance ?NUMBER1 RealNumber)
        (instance ?NUMBER2 RealNumber)
        (?REL ?NUMBER1 ?NUMBER2))
    (forall (?UNIT)
        (=>
            (instance ?UNIT UnitOfMeasure)
            (?REL
                (MeasureFn ?NUMBER1 ?UNIT)
                (MeasureFn ?NUMBER2 ?UNIT)))))
Merge.kif 9257-9267
(=>
    (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 ?ITEM ?BUYING))))))))
    (equal
        (ASPFn ?SELLINGS)
        (DivisionFn ?GMV ?TOTAL)))
UXExperimentalTerms.kif 3487-3507
(=>
    (instance ?N RealNumber)
    (equal
        (MeasureFn ?N Horsepower)
        (MeasureFn
            (MultiplicationFn ?N 746) Watt)))
Merge.kif 10038-10042

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


(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 3111-3115
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 3081-3085
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 3096-3100
(=>
    (average ?LIST ?AVERAGE)
    (forall (?LISTITEM)
        (=>
            (inList ?LISTITEM ?LIST)
            (instance ?LISTITEM RealNumber))))
Merge.kif 7757-7762


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners