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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RealNumber

 Sigma KEE - RealNumber
RealNumber(Numero Real)

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 1895-1897
(documentation RealNumber JapaneseLanguage "（無限の可能性がある）10進数として表現できる任意の Number。例：数直線の位置を持つ任意の Number。") japanese_format.kif 345-346
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 0/ 09/ Number-line.gif") pictureList.kif 11735-11735
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Real_Number_Line.PNG") pictureList.kif 10223-10223
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") pictureList.kif 11734-11734
(partition RealNumber NegativeRealNumber NonnegativeRealNumber) Merge.kif 1892-1892 O conceito Numero Real e' completamente decomposto em Numero Real negativo + Numero Real nao-negativo
(partition RealNumber RationalNumber IrrationalNumber) Merge.kif 1893-1893 O conceito Numero Real e' completamente decomposto em Numero Racional + Numero Irracional
(subclass RealNumber Number) Merge.kif 1891-1891 Numero Real e' uma sub-classe de Numero

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


(disjoint ComplexNumber RealNumber) Merge.kif 2009-2009 Numero Complexo e' disjunto de Numero Real
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1825-1825 O conceito Numero e' completamente decomposto em Numero Real, Numero Imaginario, + Numero Complexo
(range AdditionFn RealNumber) Merge.kif 4714-4714 O contra-dominio de AdditionFn e' uma instancia de Numero Real
(range ArcCosineFn RealNumber) Merge.kif 5260-5260 O contra-dominio de ArcCosineFn e' uma instancia de Numero Real
(range ArcSineFn RealNumber) Merge.kif 5270-5270 O contra-dominio de ArcSineFn e' uma instancia de Numero Real
(range ArcTangentFn RealNumber) Merge.kif 5250-5250 O contra-dominio de ArcTangentFn e' uma instancia de Numero Real
(range AverageFn RealNumber) Merge.kif 3272-3272 O contra-dominio de AverageFn e' uma instancia de Numero Real
(range BirthsPerThousandFn RealNumber) People.kif 71-71 O contra-dominio de BirthsPerThousandFn e' uma instancia de Numero Real
(range ChildrenBornPerWomanFn RealNumber) People.kif 443-443 O contra-dominio de ChildrenBornPerWomanFn e' uma instancia de Numero Real
(range ClickThroughRateFn RealNumber) UXExperimentalTerms.kif 3331-3331 O contra-dominio de ClickThroughRateFn e' uma instancia de Numero Real
(range CosineFn RealNumber) Merge.kif 4802-4802 O contra-dominio de CosineFn e' uma instancia de Numero Real
(range DeathsPerThousandFn RealNumber) People.kif 104-104 O contra-dominio de DeathsPerThousandFn e' uma instancia de Numero Real
(range DeathsPerThousandLiveBirthsFn RealNumber) People.kif 230-230 O contra-dominio de DeathsPerThousandLiveBirthsFn e' uma instancia de Numero Real
(range DivisionFn RealNumber) Merge.kif 4744-4744 O contra-dominio de DivisionFn e' uma instancia de Numero Real
(range ExponentiationFn RealNumber) Merge.kif 4821-4821 O contra-dominio de ExponentiationFn e' uma instancia de Numero Real
(range FemaleLifeExpectancyAtBirthFn RealNumber) People.kif 396-396 O contra-dominio de FemaleLifeExpectancyAtBirthFn e' uma instancia de Numero Real
(range LifeExpectancyAtBirthFn RealNumber) People.kif 299-299 O contra-dominio de LifeExpectancyAtBirthFn e' uma instancia de Numero Real
(range LiftFn RealNumber) UXExperimentalTerms.kif 4555-4555 O contra-dominio de LiftFn e' uma instancia de Numero Real
(range ListSumFn RealNumber) Merge.kif 3241-3241 O contra-dominio de ListSumFn e' uma instancia de Numero Real
(range LogFn RealNumber) Merge.kif 4977-4977 O contra-dominio de LogFn e' uma instancia de Numero Real
(range MaleLifeExpectancyAtBirthFn RealNumber) People.kif 348-348 O contra-dominio de MaleLifeExpectancyAtBirthFn e' uma instancia de Numero Real
(range MaleToFemaleRatioFn RealNumber) People.kif 193-193 O contra-dominio de MaleToFemaleRatioFn e' uma instancia de Numero Real
(range MigrantsPerThousandFn RealNumber) People.kif 140-140 O contra-dominio de MigrantsPerThousandFn e' uma instancia de Numero Real
(range MultiplicationFn RealNumber) Merge.kif 4701-4701 O contra-dominio de MultiplicationFn e' uma instancia de Numero Real
(range PPIFn RealNumber) UXExperimentalTerms.kif 3088-3088 O contra-dominio de PPIFn e' uma instancia de Numero Real

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 4762-4762 O argumento numero 1 de AbsoluteValueFn e' uma instancia de Numero Real
(domain AdditionFn 1 RealNumber) Merge.kif 4712-4712 O argumento numero 1 de AdditionFn e' uma instancia de Numero Real
(domain AdditionFn 2 RealNumber) Merge.kif 4713-4713 O argumento numero 2 de AdditionFn e' uma instancia de Numero Real
(domain ArcCosineFn 1 RealNumber) Merge.kif 5259-5259 O argumento numero 1 de ArcCosineFn e' uma instancia de Numero Real
(domain ArcSineFn 1 RealNumber) Merge.kif 5269-5269 O argumento numero 1 de ArcSineFn e' uma instancia de Numero Real
(domain ArcTangentFn 1 RealNumber) Merge.kif 5249-5249 O argumento numero 1 de ArcTangentFn e' uma instancia de Numero Real
(domain CeilingFn 1 RealNumber) Merge.kif 4783-4783 O argumento numero 1 de CeilingFn e' uma instancia de Numero Real
(domain DenominatorFn 1 RealNumber) Merge.kif 4810-4810 O argumento numero 1 de DenominatorFn e' uma instancia de Numero Real
(domain DivisionFn 1 RealNumber) Merge.kif 4742-4742 O argumento numero 1 de DivisionFn e' uma instancia de Numero Real
(domain DivisionFn 2 RealNumber) Merge.kif 4743-4743 O argumento numero 2 de DivisionFn e' uma instancia de Numero Real
(domain ExponentiationFn 1 RealNumber) Merge.kif 4819-4819 O argumento numero 1 de ExponentiationFn e' uma instancia de Numero Real
(domain FloorFn 1 RealNumber) Merge.kif 4828-4828 O argumento numero 1 de FloorFn e' uma instancia de Numero Real
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 4923-4923 O argumento numero 1 de IntegerSquareRootFn e' uma instancia de Numero Real
(domain LogFn 1 RealNumber) Merge.kif 4975-4975 O argumento numero 1 de LogFn e' uma instancia de Numero Real
(domain MeasureFn 1 RealNumber) Merge.kif 6348-6348 O argumento numero 1 de MeasureFn e' uma instancia de Numero Real
(domain MultiplicationFn 1 RealNumber) Merge.kif 4699-4699 O argumento numero 1 de MultiplicationFn e' uma instancia de Numero Real
(domain MultiplicationFn 2 RealNumber) Merge.kif 4700-4700 O argumento numero 2 de MultiplicationFn e' uma instancia de Numero Real
(domain NumeratorFn 1 RealNumber) Merge.kif 5036-5036 O argumento numero 1 de NumeratorFn e' uma instancia de Numero Real
(domain ReciprocalFn 1 RealNumber) Merge.kif 5070-5070 O argumento numero 1 de ReciprocalFn e' uma instancia de Numero Real
(domain RoundFn 1 RealNumber) Merge.kif 5170-5170 O argumento numero 1 de RoundFn e' uma instancia de Numero Real
(domain SignumFn 1 RealNumber) Merge.kif 5189-5189 O argumento numero 1 de SignumFn e' uma instancia de Numero Real
(domain SineFn 1 RealNumber) Merge.kif 5211-5211 O argumento numero 1 de SineFn e' uma instancia de Numero Real
(domain SquareRootFn 1 RealNumber) Merge.kif 5219-5219 O argumento numero 1 de SquareRootFn e' uma instancia de Numero Real
(domain SubtractionFn 1 RealNumber) Merge.kif 4726-4726 O argumento numero 1 de SubtractionFn e' uma instancia de Numero Real
(domain SubtractionFn 2 RealNumber) Merge.kif 4727-4727 O argumento numero 2 de SubtractionFn e' uma instancia de Numero Real

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.0 ?NUMBER1)))))		 Merge.kif 4768-4779 O valor absoluto de Numero Real e' igual a Numero Real nao-negativo Numero Real e' uma instancia de Numero Real Numero Real nao-negativo e' uma instancia de Numero Real Numero Real e' uma instancia de Numero Real nao-negativo Numero Real e' igual a Numero Real nao-negativo Numero Real e' uma instancia de Numero Real negativo Numero Real nao-negativo e' igual a (0.0 + Numero Real)
(=>
    (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 ?BUYING ?ITEM))))))))
    (equal
        (ABPFn ?BUYINGS)
        (DivisionFn ?GMB ?TOTAL)))		 UXExperimentalTerms.kif 3239-3259
(=>
    (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 3282-3302
(=>
    (and
        (roastedToTemperature ?B ?T)
        (instance ?B CoffeeBean)
        (instance ?T RealNumber))
    (modalAttribute
        (exists (?R)
            (and
                (instance ?R DryRoasting)
                (patient ?R ?B))) Likely))		 Food.kif 479-488
(=>
    (instance ?DEGREE RealNumber)
    (equal
        (TangentFn ?DEGREE)
        (DivisionFn
            (SineFn ?DEGREE)
            (CosineFn ?DEGREE))))		 Merge.kif 5239-5245
(=>
    (instance ?N RealNumber)
    (equal
        (MeasureFn ?N Horsepower)
        (MeasureFn
            (MultiplicationFn ?N 746) Watt)))		 Merge.kif 6902-6906

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


(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1948-1952 Numero Real e' uma instancia de Numero Real negativo Numero Real e' menos que 0 Numero Real e' uma instancia de Numero Real
(<=>
    (instance ?NUMBER NonnegativeRealNumber)
    (and
        (greaterThanOrEqualTo ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1926-1930 Numero Real e' uma instancia de Numero Real nao-negativo Numero Real e' maior ou igual a 0 Numero Real e' uma instancia de Numero Real
(<=>
    (instance ?NUMBER PositiveRealNumber)
    (and
        (greaterThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))		 Merge.kif 1937-1941 Numero Real e' uma instancia de Numero Real positivo Numero Real e' maior que 0 Numero Real e' uma instancia de Numero Real
(=>
    (average ?LIST ?AVERAGE)
    (forall (?LISTITEM)
        (=>
            (inList ?LISTITEM ?LIST)
            (instance ?LISTITEM RealNumber))))		 Merge.kif 5369-5374
(=>
    (instance ?L Lungo)
    (exists (?E ?V)
        (and
            (instance ?E Espresso)
            (part ?E ?L)
            (measure ?E
                (MeasureFn ?V Liter))
            (instance ?V RealNumber)
            (measure ?L
                (MeasureFn
                    (MultiplicationFn ?V 2) Liter)))))		 Food.kif 770-781


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