Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  StandardAmbientTemperaturePressure

Sigma KEE - RealNumber
RealNumber
عدد حقِيقِيّ,

appearance as argument number 1
-------------------------


(documentation RealNumber ChineseLanguage "任何可以表达为一个(可能是无限的)十进制的 Number, 即任何在数字线上佔有一席位 Number。") Merge.kif 1952-1953
(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 1949-1951
(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 1947-1947
(partition RealNumber RationalNumber IrrationalNumber) Merge.kif 1948-1948
(subclass RealNumber Number) Merge.kif 1946-1946

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


(disjoint ComplexNumber RealNumber) Merge.kif 2069-2069
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1875-1875
(range BirthsPerThousandFn RealNumber) People.kif 93-93
(range ChildrenBornPerWomanFn RealNumber) People.kif 449-449
(range ClickThroughRateFn RealNumber) UXExperimentalTerms.kif 3525-3525
(range CosineFn RealNumber) Merge.kif 4946-4946
(range DeathsPerThousandFn RealNumber) People.kif 124-124
(range DeathsPerThousandLiveBirthsFn RealNumber) People.kif 245-245
(range ExponentiationFn RealNumber) Merge.kif 4967-4967
(range FemaleLifeExpectancyAtBirthFn RealNumber) People.kif 404-404
(range LifeExpectancyAtBirthFn RealNumber) People.kif 312-312
(range LiftFn RealNumber) UXExperimentalTerms.kif 4746-4746
(range LogFn RealNumber) Merge.kif 5109-5109
(range MagnitudeFn RealNumber) Merge.kif 6779-6779
(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 3292-3292
(range PPSFn RealNumber) UXExperimentalTerms.kif 3253-3253
(range PopulationGrowthFn RealNumber) People.kif 64-64
(range ProbabilityFn RealNumber) Merge.kif 2729-2729
(range RealNumberFn RealNumber) Merge.kif 5202-5202
(range ReciprocalFn RealNumber) Merge.kif 5212-5212
(range SRPEngagementFn RealNumber) UXExperimentalTerms.kif 3908-3908
(range SineFn RealNumber) Merge.kif 5320-5320

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 4904-4904
(domain CeilingFn 1 RealNumber) Merge.kif 4926-4926
(domain DenominatorFn 1 RealNumber) Merge.kif 4955-4955
(domain ExponentiationFn 1 RealNumber) Merge.kif 4965-4965
(domain FloorFn 1 RealNumber) Merge.kif 4975-4975
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 5064-5064
(domain LogFn 1 RealNumber) Merge.kif 5107-5107
(domain MeasureFn 1 RealNumber) Merge.kif 6490-6490
(domain NumeratorFn 1 RealNumber) Merge.kif 5172-5172
(domain ReciprocalFn 1 RealNumber) Merge.kif 5211-5211
(domain SignumFn 1 RealNumber) Merge.kif 5296-5296
(domain SquareRootFn 1 RealNumber) Merge.kif 5328-5328
(domain approximateValue 1 RealNumber) Mid-level-ontology.kif 27931-27931
(domain approximateValue 2 RealNumber) Mid-level-ontology.kif 27932-27932
(domain average 2 RealNumber) Merge.kif 5441-5441
(domain beliefGroupPercentInRegion 2 RealNumber) People.kif 1524-1524
(domain compressionRatio 2 RealNumber) Cars.kif 1910-1910
(domain conditionalProbability 3 RealNumber) Merge.kif 2742-2742
(domain confidenceInterval 2 RealNumber) UXExperimentalTerms.kif 660-660
(domain dampingRatio 2 RealNumber) Cars.kif 789-789
(domain diseaseMortality 2 RealNumber) WMD.kif 840-840
(domain electricityFractionFromSource 3 RealNumber) Economy.kif 2048-2048
(domain electricityFractionFromSourceInPeriod 3 RealNumber) Economy.kif 2032-2032
(domain ethnicityPercentInRegion 2 RealNumber) People.kif 1543-1543
(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 4911-4922
(=>
    (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 BinaryRelation)
        (instance ?NUMBER1 RealNumber)
        (instance ?NUMBER2 RealNumber)
        (?REL ?NUMBER1 ?NUMBER2))
    (forall (?UNIT)
        (=>
            (instance ?UNIT UnitOfMeasure)
            (?REL
                (MeasureFn ?NUMBER1 ?UNIT)
                (MeasureFn ?NUMBER2 ?UNIT)))))
Merge.kif 6572-6582
(=>
    (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 7132-7136

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


(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 2007-2011
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1985-1989
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1996-2000
(=>
    (average ?LIST ?AVERAGE)
    (forall (?LISTITEM)
        (=>
            (inList ?LISTITEM ?LIST)
            (instance ?LISTITEM RealNumber))))
Merge.kif 5452-5457


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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