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, NegativeRealNumber and NonnegativeRealNumber
(partition RealNumber RationalNumber IrrationalNumber) Merge.kif 1801-1801 partition RealNumber, RationalNumber and IrrationalNumber
(subclass RealNumber Number) Merge.kif 1799-1799 subclass RealNumber and Number

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


(disjoint ComplexNumber RealNumber) Merge.kif 1917-1917 disjoint ComplexNumber and RealNumber
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1733-1733 partition Number, RealNumber, ImaginaryNumber and ComplexNumber
(range BirthsPerThousandFn RealNumber) People.kif 93-93 range BirthsPerThousandFn and RealNumber
(range ChildrenBornPerWomanFn RealNumber) People.kif 449-449 range ChildrenBornPerWomanFn and RealNumber
(range ClickThroughRateFn RealNumber) UXExperimentalTerms.kif 3534-3534 range ClickThroughRateFn and RealNumber
(range CosineFn RealNumber) Merge.kif 4571-4571 range CosineFn and RealNumber
(range DeathsPerThousandFn RealNumber) People.kif 124-124 range DeathsPerThousandFn and RealNumber
(range DeathsPerThousandLiveBirthsFn RealNumber) People.kif 245-245 range DeathsPerThousandLiveBirthsFn and RealNumber
(range ExponentiationFn RealNumber) Merge.kif 4590-4590 range ExponentiationFn and RealNumber
(range FemaleLifeExpectancyAtBirthFn RealNumber) People.kif 404-404 range FemaleLifeExpectancyAtBirthFn and RealNumber
(range LifeExpectancyAtBirthFn RealNumber) People.kif 312-312 range LifeExpectancyAtBirthFn and RealNumber
(range LiftFn RealNumber) UXExperimentalTerms.kif 4753-4753 range LiftFn and RealNumber
(range LogFn RealNumber) Merge.kif 4723-4723 range LogFn and RealNumber
(range MagnitudeFn RealNumber) Merge.kif 6265-6265 range MagnitudeFn and RealNumber
(range MaleLifeExpectancyAtBirthFn RealNumber) People.kif 359-359 range MaleLifeExpectancyAtBirthFn and RealNumber
(range MaleToFemaleRatioFn RealNumber) People.kif 208-208 range MaleToFemaleRatioFn and RealNumber
(range MigrantsPerThousandFn RealNumber) People.kif 158-158 range MigrantsPerThousandFn and RealNumber
(range PPIFn RealNumber) UXExperimentalTerms.kif 3290-3290 range PPIFn and RealNumber
(range PPSFn RealNumber) UXExperimentalTerms.kif 3251-3251 range PPSFn and RealNumber
(range PopulationGrowthFn RealNumber) People.kif 64-64 range PopulationGrowthFn and RealNumber
(range ProbabilityFn RealNumber) Merge.kif 2475-2475 range ProbabilityFn and RealNumber
(range RealNumberFn RealNumber) Merge.kif 4808-4808 range RealNumberFn and RealNumber
(range ReciprocalFn RealNumber) Merge.kif 4817-4817 range ReciprocalFn and RealNumber
(range SRPEngagementFn RealNumber) UXExperimentalTerms.kif 3915-3915 range SRPEngagementFn and RealNumber
(range SineFn RealNumber) Merge.kif 4920-4920 range SineFn 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 4531-4531 domain AbsoluteValueFn, 1 and RealNumber
(domain CeilingFn 1 RealNumber) Merge.kif 4552-4552 domain CeilingFn, 1 and RealNumber
(domain DenominatorFn 1 RealNumber) Merge.kif 4579-4579 domain DenominatorFn, 1 and RealNumber
(domain ExponentiationFn 1 RealNumber) Merge.kif 4588-4588 domain ExponentiationFn, 1 and RealNumber
(domain FloorFn 1 RealNumber) Merge.kif 4597-4597 domain FloorFn, 1 and RealNumber
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 4680-4680 domain IntegerSquareRootFn, 1 and RealNumber
(domain LogFn 1 RealNumber) Merge.kif 4721-4721 domain LogFn, 1 and RealNumber
(domain MeasureFn 1 RealNumber) Merge.kif 6000-6000 domain MeasureFn, 1 and RealNumber
(domain NumeratorFn 1 RealNumber) Merge.kif 4782-4782 domain NumeratorFn, 1 and RealNumber
(domain ReciprocalFn 1 RealNumber) Merge.kif 4816-4816 domain ReciprocalFn, 1 and RealNumber
(domain SignumFn 1 RealNumber) Merge.kif 4897-4897 domain SignumFn, 1 and RealNumber
(domain SquareRootFn 1 RealNumber) Merge.kif 4927-4927 domain SquareRootFn, 1 and RealNumber
(domain approximateValue 1 RealNumber) Mid-level-ontology.kif 28017-28017 domain approximateValue, 1 and RealNumber
(domain approximateValue 2 RealNumber) Mid-level-ontology.kif 28018-28018 domain approximateValue, 2 and RealNumber
(domain average 2 RealNumber) Merge.kif 5036-5036 domain average, 2 and RealNumber
(domain beliefGroupPercentInRegion 2 RealNumber) People.kif 1528-1528 domain beliefGroupPercentInRegion, 2 and RealNumber
(domain compressionRatio 2 RealNumber) Cars.kif 1911-1911 domain compressionRatio, 2 and RealNumber
(domain conditionalProbability 3 RealNumber) Merge.kif 2486-2486 domain conditionalProbability, 3 and RealNumber
(domain confidenceInterval 2 RealNumber) UXExperimentalTerms.kif 658-658 domain confidenceInterval, 2 and RealNumber
(domain dampingRatio 2 RealNumber) Cars.kif 790-790 domain dampingRatio, 2 and RealNumber
(domain diseaseMortality 2 RealNumber) WMD.kif 847-847 domain diseaseMortality, 2 and RealNumber
(domain electricityFractionFromSource 3 RealNumber) Economy.kif 2048-2048 domain electricityFractionFromSource, 3 and RealNumber
(domain electricityFractionFromSourceInPeriod 3 RealNumber) Economy.kif 2032-2032 domain electricityFractionFromSourceInPeriod, 3 and RealNumber
(domain ethnicityPercentInRegion 2 RealNumber) People.kif 1547-1547 domain ethnicityPercentInRegion, 2 and RealNumber
(domain highestDecileShareOfHouseholdIncome 2 RealNumber) Economy.kif 1253-1253 domain highestDecileShareOfHouseholdIncome, 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 ?NUMBER1)))))
Merge.kif 4537-4548 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 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 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 Quantity and NegativeRealNumber lessThan Quantity and 0 instance Quantity and RealNumber
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1834-1838 instance Quantity and NonnegativeRealNumber greaterThanOrEqualTo Quantity and 0 instance Quantity and RealNumber
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1845-1849 instance Quantity and PositiveRealNumber greaterThan Quantity and 0 instance Quantity and RealNumber
(=>
    (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