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 1802-1804
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 0/ 09/ Number-line.gif") pictureList.kif 11762-11762 externalImage RealNumber and "http://upload.wikimedia.org/wikipedia/commons/0/09/ Number-line.gif"
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Real_Number_Line.PNG") pictureList.kif 10244-10244 externalImage RealNumber and "http://upload.wikimedia.org/wikipedia/commons/9/98/ Real_Number_Line.PNG"
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") pictureList.kif 11761-11761 externalImage RealNumber and "http://upload.wikimedia.org/wikipedia/commons/f/fd/ Recta_real_entero_o_decimal_exacto.png"
(partition RealNumber NegativeRealNumber NonnegativeRealNumber) Merge.kif 1799-1799 partition RealNumber, NegativeRealNumber and NonnegativeRealNumber
(partition RealNumber RationalNumber IrrationalNumber) Merge.kif 1800-1800 partition RealNumber, RationalNumber and IrrationalNumber
(subclass RealNumber Number) Merge.kif 1798-1798 subclass RealNumber and Number

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


(disjoint ComplexNumber RealNumber) Merge.kif 1916-1916 disjoint ComplexNumber and RealNumber
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1732-1732 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 4483-4483 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 4502-4502 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 4635-4635 range LogFn and RealNumber
(range MagnitudeFn RealNumber) Merge.kif 6179-6179 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 2474-2474 range ProbabilityFn and RealNumber
(range RealNumberFn RealNumber) Merge.kif 4720-4720 range RealNumberFn and RealNumber
(range ReciprocalFn RealNumber) Merge.kif 4729-4729 range ReciprocalFn and RealNumber
(range SRPEngagementFn RealNumber) UXExperimentalTerms.kif 3915-3915 range SRPEngagementFn and RealNumber
(range SineFn RealNumber) Merge.kif 4832-4832 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 4443-4443 domain AbsoluteValueFn, 1 and RealNumber
(domain CeilingFn 1 RealNumber) Merge.kif 4464-4464 domain CeilingFn, 1 and RealNumber
(domain DenominatorFn 1 RealNumber) Merge.kif 4491-4491 domain DenominatorFn, 1 and RealNumber
(domain ExponentiationFn 1 RealNumber) Merge.kif 4500-4500 domain ExponentiationFn, 1 and RealNumber
(domain FloorFn 1 RealNumber) Merge.kif 4509-4509 domain FloorFn, 1 and RealNumber
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 4592-4592 domain IntegerSquareRootFn, 1 and RealNumber
(domain LogFn 1 RealNumber) Merge.kif 4633-4633 domain LogFn, 1 and RealNumber
(domain MeasureFn 1 RealNumber) Merge.kif 5914-5914 domain MeasureFn, 1 and RealNumber
(domain NumeratorFn 1 RealNumber) Merge.kif 4694-4694 domain NumeratorFn, 1 and RealNumber
(domain ReciprocalFn 1 RealNumber) Merge.kif 4728-4728 domain ReciprocalFn, 1 and RealNumber
(domain SignumFn 1 RealNumber) Merge.kif 4809-4809 domain SignumFn, 1 and RealNumber
(domain SquareRootFn 1 RealNumber) Merge.kif 4839-4839 domain SquareRootFn, 1 and RealNumber
(domain approximateValue 1 RealNumber) Mid-level-ontology.kif 28005-28005 domain approximateValue, 1 and RealNumber
(domain approximateValue 2 RealNumber) Mid-level-ontology.kif 28006-28006 domain approximateValue, 2 and RealNumber
(domain average 2 RealNumber) Merge.kif 4948-4948 domain average, 2 and RealNumber
(domain beliefGroupPercentInRegion 2 RealNumber) People.kif 1528-1528 domain beliefGroupPercentInRegion, 2 and RealNumber
(domain compressionRatio 2 RealNumber) Cars.kif 1910-1910 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 789-789 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 4449-4460 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 5993-6003
(=>
    (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 6485-6489

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


(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1855-1859 instance Quantity and NegativeRealNumber lessThan Quantity and 0 instance Quantity and RealNumber
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1833-1837 instance Quantity and NonnegativeRealNumber greaterThanOrEqualTo Quantity and 0 instance Quantity and RealNumber
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1844-1848 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 4956-4961


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