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 1965-1966
(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 1962-1964
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 0/ 09/ Number-line.gif") pictureList.kif 11762-11762 externalImage 実数 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 実数 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 実数 and "http://upload.wikimedia.org/wikipedia/commons/f/fd/ Recta_real_entero_o_decimal_exacto.png"
(partition RealNumber NegativeRealNumber NonnegativeRealNumber) Merge.kif 1960-1960 partition 実数, 負の実数 and 非負実数
(partition RealNumber RationalNumber IrrationalNumber) Merge.kif 1961-1961 partition 実数, 有理数 and 無理数
(subclass RealNumber Number) Merge.kif 1959-1959 subclass 実数 and

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


(disjoint ComplexNumber RealNumber) Merge.kif 2082-2082 disjoint 複素数 and 実数
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1888-1888 partition , 実数, 虚数 and 複素数
(range BirthsPerThousandFn RealNumber) People.kif 93-93 range BirthsPerThousandFn and 実数
(range ChildrenBornPerWomanFn RealNumber) People.kif 449-449 range ChildrenBornPerWomanFn and 実数
(range ClickThroughRateFn RealNumber) UXExperimentalTerms.kif 3525-3525 range ClickThroughRateFn and 実数
(range CosineFn RealNumber) Merge.kif 4959-4959 range CosineFn and 実数
(range DeathsPerThousandFn RealNumber) People.kif 124-124 range DeathsPerThousandFn and 実数
(range DeathsPerThousandLiveBirthsFn RealNumber) People.kif 245-245 range DeathsPerThousandLiveBirthsFn and 実数
(range ExponentiationFn RealNumber) Merge.kif 4980-4980 range ExponentiationFn and 実数
(range FemaleLifeExpectancyAtBirthFn RealNumber) People.kif 404-404 range FemaleLifeExpectancyAtBirthFn and 実数
(range LifeExpectancyAtBirthFn RealNumber) People.kif 312-312 range LifeExpectancyAtBirthFn and 実数
(range LiftFn RealNumber) UXExperimentalTerms.kif 4746-4746 range LiftFn and 実数
(range LogFn RealNumber) Merge.kif 5122-5122 range LogFn and 実数
(range MagnitudeFn RealNumber) Merge.kif 6792-6792 range MagnitudeFn and 実数
(range MaleLifeExpectancyAtBirthFn RealNumber) People.kif 359-359 range MaleLifeExpectancyAtBirthFn and 実数
(range MaleToFemaleRatioFn RealNumber) People.kif 208-208 range MaleToFemaleRatioFn and 実数
(range MigrantsPerThousandFn RealNumber) People.kif 158-158 range MigrantsPerThousandFn and 実数
(range PPIFn RealNumber) UXExperimentalTerms.kif 3292-3292 range PPIFn and 実数
(range PPSFn RealNumber) UXExperimentalTerms.kif 3253-3253 range PPSFn and 実数
(range PopulationGrowthFn RealNumber) People.kif 64-64 range PopulationGrowthFn and 実数
(range ProbabilityFn RealNumber) Merge.kif 2742-2742 range ProbabilityFn and 実数
(range RealNumberFn RealNumber) Merge.kif 5215-5215 range RealNumberFn and 実数
(range ReciprocalFn RealNumber) Merge.kif 5225-5225 range ReciprocalFn and 実数
(range SRPEngagementFn RealNumber) UXExperimentalTerms.kif 3908-3908 range SRPEngagementFn and 実数
(range SineFn RealNumber) Merge.kif 5333-5333 range SineFn and 実数

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 4917-4917 domain AbsoluteValueFn, 1 and 実数
(domain CeilingFn 1 RealNumber) Merge.kif 4939-4939 domain CeilingFn, 1 and 実数
(domain DenominatorFn 1 RealNumber) Merge.kif 4968-4968 domain DenominatorFn, 1 and 実数
(domain ExponentiationFn 1 RealNumber) Merge.kif 4978-4978 domain ExponentiationFn, 1 and 実数
(domain FloorFn 1 RealNumber) Merge.kif 4988-4988 domain FloorFn, 1 and 実数
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 5077-5077 domain IntegerSquareRootFn, 1 and 実数
(domain LogFn 1 RealNumber) Merge.kif 5120-5120 domain LogFn, 1 and 実数
(domain MeasureFn 1 RealNumber) Merge.kif 6503-6503 domain MeasureFn, 1 and 実数
(domain NumeratorFn 1 RealNumber) Merge.kif 5185-5185 domain NumeratorFn, 1 and 実数
(domain ReciprocalFn 1 RealNumber) Merge.kif 5224-5224 domain ReciprocalFn, 1 and 実数
(domain SignumFn 1 RealNumber) Merge.kif 5309-5309 domain SignumFn, 1 and 実数
(domain SquareRootFn 1 RealNumber) Merge.kif 5341-5341 domain SquareRootFn, 1 and 実数
(domain approximateValue 1 RealNumber) Mid-level-ontology.kif 28011-28011 domain approximateValue, 1 and 実数
(domain approximateValue 2 RealNumber) Mid-level-ontology.kif 28012-28012 domain approximateValue, 2 and 実数
(domain average 2 RealNumber) Merge.kif 5454-5454 domain average, 2 and 実数
(domain beliefGroupPercentInRegion 2 RealNumber) People.kif 1524-1524 domain beliefGroupPercentInRegion, 2 and 実数
(domain compressionRatio 2 RealNumber) Cars.kif 1910-1910 domain compressionRatio, 2 and 実数
(domain conditionalProbability 3 RealNumber) Merge.kif 2755-2755 domain conditionalProbability, 3 and 実数
(domain confidenceInterval 2 RealNumber) UXExperimentalTerms.kif 660-660 domain confidenceInterval, 2 and 実数
(domain dampingRatio 2 RealNumber) Cars.kif 789-789 domain dampingRatio, 2 and 実数
(domain diseaseMortality 2 RealNumber) WMD.kif 840-840 domain diseaseMortality, 2 and 実数
(domain electricityFractionFromSource 3 RealNumber) Economy.kif 2048-2048 domain electricityFractionFromSource, 3 and 実数
(domain electricityFractionFromSourceInPeriod 3 RealNumber) Economy.kif 2032-2032 domain electricityFractionFromSourceInPeriod, 3 and 実数
(domain ethnicityPercentInRegion 2 RealNumber) People.kif 1543-1543 domain ethnicityPercentInRegion, 2 and 実数
(domain highestDecileShareOfHouseholdIncome 2 RealNumber) Economy.kif 1253-1253 domain highestDecileShareOfHouseholdIncome, 2 and 実数

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 4924-4935 equal AbsoluteValueFn 実数 and 非負実数 instance 実数 and 実数 instance 非負実数 and 実数 instance 実数 and 非負実数 equal 実数 and 非負実数 instance 実数 and 負の実数 equal 非負実数 and SubtractionFn 0 and 実数
(=>
    (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 6585-6595
(=>
    (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 7145-7149

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


(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 2020-2024 instance and 負の実数 lessThan and 0 instance and 実数
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1998-2002 instance and 非負実数 greaterThanOrEqualTo and 0 instance and 実数
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 2009-2013 instance and 正の実数 greaterThan and 0 instance and 実数
(=>
    (average ?LIST ?AVERAGE)
    (forall (?LISTITEM)
        (=>
            (inList ?LISTITEM ?LIST)
            (instance ?LISTITEM RealNumber))))
Merge.kif 5465-5470


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