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 1842-1844
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 0/ 09/ Number-line.gif") pictureList.kif 11760-11760
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Real_Number_Line.PNG") pictureList.kif 10242-10242
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") pictureList.kif 11759-11759
(partition RealNumber NegativeRealNumber NonnegativeRealNumber) Merge.kif 1839-1839
(partition RealNumber RationalNumber IrrationalNumber) Merge.kif 1840-1840
(subclass RealNumber Number) Merge.kif 1838-1838

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


(disjoint ComplexNumber RealNumber) Merge.kif 1956-1956
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1772-1772
(range ArcCosineFn RealNumber) Merge.kif 5059-5059
(range ArcSineFn RealNumber) Merge.kif 5069-5069
(range ArcTangentFn RealNumber) Merge.kif 5049-5049
(range BirthsPerThousandFn RealNumber) People.kif 93-93
(range ChildrenBornPerWomanFn RealNumber) People.kif 449-449
(range ClickThroughRateFn RealNumber) UXExperimentalTerms.kif 3539-3539
(range CosineFn RealNumber) Merge.kif 4662-4662
(range DeathsPerThousandFn RealNumber) People.kif 124-124
(range DeathsPerThousandLiveBirthsFn RealNumber) People.kif 245-245
(range ExponentiationFn RealNumber) Merge.kif 4681-4681
(range FemaleLifeExpectancyAtBirthFn RealNumber) People.kif 404-404
(range LifeExpectancyAtBirthFn RealNumber) People.kif 312-312
(range LiftFn RealNumber) UXExperimentalTerms.kif 4756-4756
(range LogFn RealNumber) Merge.kif 4814-4814
(range MagnitudeFn RealNumber) Merge.kif 6385-6385
(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 3295-3295
(range PPSFn RealNumber) UXExperimentalTerms.kif 3256-3256
(range PopulationGrowthFn RealNumber) People.kif 64-64
(range ProbabilityFn RealNumber) Merge.kif 2515-2515
(range RealNumberFn RealNumber) Merge.kif 4899-4899

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 4622-4622
(domain CeilingFn 1 RealNumber) Merge.kif 4643-4643
(domain DenominatorFn 1 RealNumber) Merge.kif 4670-4670
(domain ExponentiationFn 1 RealNumber) Merge.kif 4679-4679
(domain FloorFn 1 RealNumber) Merge.kif 4688-4688
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 4771-4771
(domain LogFn 1 RealNumber) Merge.kif 4812-4812
(domain MeasureFn 1 RealNumber) Merge.kif 6120-6120
(domain NumeratorFn 1 RealNumber) Merge.kif 4873-4873
(domain ReciprocalFn 1 RealNumber) Merge.kif 4907-4907
(domain RoundFn 1 RealNumber) Merge.kif 4969-4969
(domain SignumFn 1 RealNumber) Merge.kif 4988-4988
(domain SquareRootFn 1 RealNumber) Merge.kif 5018-5018
(domain approximateValue 1 RealNumber) Mid-level-ontology.kif 28894-28894
(domain approximateValue 2 RealNumber) Mid-level-ontology.kif 28895-28895
(domain average 2 RealNumber) Merge.kif 5161-5161
(domain beliefGroupPercentInRegion 2 RealNumber) People.kif 1529-1529
(domain compressionRatio 2 RealNumber) Cars.kif 1921-1921
(domain conditionalProbability 3 RealNumber) Merge.kif 2526-2526
(domain confidenceInterval 2 RealNumber) UXExperimentalTerms.kif 662-662
(domain dampingRatio 2 RealNumber) Cars.kif 796-796
(domain diseaseMortality 2 RealNumber) WMD.kif 880-880
(domain electricityFractionFromSource 3 RealNumber) Economy.kif 2048-2048
(domain electricityFractionFromSourceInPeriod 3 RealNumber) Economy.kif 2032-2032
(domain ethnicityPercentInRegion 2 RealNumber) People.kif 1548-1548

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 4628-4639
(=>
    (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 ?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 6199-6209
(=>
    (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 ?N RealNumber)
    (equal
        (MeasureFn ?N Horsepower)
        (MeasureFn
            (MultiplicationFn ?N 746) Watt)))
Merge.kif 6692-6696

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


(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1895-1899
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1873-1877
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1884-1888
(=>
    (average ?LIST ?AVERAGE)
    (forall (?LISTITEM)
        (=>
            (inList ?LISTITEM ?LIST)
            (instance ?LISTITEM RealNumber))))
Merge.kif 5169-5174


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 3.0 is open source software produced by Articulate Software and its partners