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 1803-1805
(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 1800-1800
(partition RealNumber RationalNumber IrrationalNumber) Merge.kif 1801-1801
(subclass RealNumber Number) Merge.kif 1799-1799

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


(disjoint ComplexNumber RealNumber) Merge.kif 1917-1917
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1733-1733
(range BirthsPerThousandFn RealNumber) People.kif 93-93
(range ChildrenBornPerWomanFn RealNumber) People.kif 449-449
(range ClickThroughRateFn RealNumber) UXExperimentalTerms.kif 3534-3534
(range CosineFn RealNumber) Merge.kif 4571-4571
(range DeathsPerThousandFn RealNumber) People.kif 124-124
(range DeathsPerThousandLiveBirthsFn RealNumber) People.kif 245-245
(range ExponentiationFn RealNumber) Merge.kif 4590-4590
(range FemaleLifeExpectancyAtBirthFn RealNumber) People.kif 404-404
(range LifeExpectancyAtBirthFn RealNumber) People.kif 312-312
(range LiftFn RealNumber) UXExperimentalTerms.kif 4753-4753
(range LogFn RealNumber) Merge.kif 4723-4723
(range MagnitudeFn RealNumber) Merge.kif 6265-6265
(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 3290-3290
(range PPSFn RealNumber) UXExperimentalTerms.kif 3251-3251
(range PopulationGrowthFn RealNumber) People.kif 64-64
(range ProbabilityFn RealNumber) Merge.kif 2475-2475
(range RealNumberFn RealNumber) Merge.kif 4808-4808
(range ReciprocalFn RealNumber) Merge.kif 4817-4817
(range SRPEngagementFn RealNumber) UXExperimentalTerms.kif 3915-3915
(range SineFn RealNumber) Merge.kif 4920-4920

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 4531-4531
(domain CeilingFn 1 RealNumber) Merge.kif 4552-4552
(domain DenominatorFn 1 RealNumber) Merge.kif 4579-4579
(domain ExponentiationFn 1 RealNumber) Merge.kif 4588-4588
(domain FloorFn 1 RealNumber) Merge.kif 4597-4597
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 4680-4680
(domain LogFn 1 RealNumber) Merge.kif 4721-4721
(domain MeasureFn 1 RealNumber) Merge.kif 6000-6000
(domain NumeratorFn 1 RealNumber) Merge.kif 4782-4782
(domain ReciprocalFn 1 RealNumber) Merge.kif 4816-4816
(domain SignumFn 1 RealNumber) Merge.kif 4897-4897
(domain SquareRootFn 1 RealNumber) Merge.kif 4927-4927
(domain approximateValue 1 RealNumber) Mid-level-ontology.kif 28017-28017
(domain approximateValue 2 RealNumber) Mid-level-ontology.kif 28018-28018
(domain average 2 RealNumber) Merge.kif 5036-5036
(domain beliefGroupPercentInRegion 2 RealNumber) People.kif 1528-1528
(domain compressionRatio 2 RealNumber) Cars.kif 1911-1911
(domain conditionalProbability 3 RealNumber) Merge.kif 2486-2486
(domain confidenceInterval 2 RealNumber) UXExperimentalTerms.kif 658-658
(domain dampingRatio 2 RealNumber) Cars.kif 790-790
(domain diseaseMortality 2 RealNumber) WMD.kif 847-847
(domain electricityFractionFromSource 3 RealNumber) Economy.kif 2048-2048
(domain electricityFractionFromSourceInPeriod 3 RealNumber) Economy.kif 2032-2032
(domain ethnicityPercentInRegion 2 RealNumber) People.kif 1547-1547
(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 4537-4548
(=>
    (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 3442-3462
(=>
    (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 6079-6089
(=>
    (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 3485-3505
(=>
    (instance ?N RealNumber)
    (equal
        (MeasureFn ?N Horsepower)
        (MeasureFn
            (MultiplicationFn ?N 746) Watt)))
Merge.kif 6571-6575

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


(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1856-1860
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1834-1838
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1845-1849
(=>
    (average ?LIST ?AVERAGE)
    (forall (?LISTITEM)
        (=>
            (inList ?LISTITEM ?LIST)
            (instance ?LISTITEM RealNumber))))
Merge.kif 5044-5049


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