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 4715-4715 O contra-dominio de AdditionFn e' uma instancia de Numero Real
(range ArcCosineFn RealNumber) Merge.kif 5261-5261 O contra-dominio de ArcCosineFn e' uma instancia de Numero Real
(range ArcSineFn RealNumber) Merge.kif 5271-5271 O contra-dominio de ArcSineFn e' uma instancia de Numero Real
(range ArcTangentFn RealNumber) Merge.kif 5251-5251 O contra-dominio de ArcTangentFn e' uma instancia de Numero Real
(range AverageFn RealNumber) Merge.kif 3273-3273 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 4803-4803 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 4745-4745 O contra-dominio de DivisionFn e' uma instancia de Numero Real
(range ExponentiationFn RealNumber) Merge.kif 4822-4822 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 3242-3242 O contra-dominio de ListSumFn e' uma instancia de Numero Real
(range LogFn RealNumber) Merge.kif 4978-4978 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 4702-4702 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 4763-4763 O argumento numero 1 de AbsoluteValueFn e' uma instancia de Numero Real
(domain AdditionFn 1 RealNumber) Merge.kif 4713-4713 O argumento numero 1 de AdditionFn e' uma instancia de Numero Real
(domain AdditionFn 2 RealNumber) Merge.kif 4714-4714 O argumento numero 2 de AdditionFn e' uma instancia de Numero Real
(domain ArcCosineFn 1 RealNumber) Merge.kif 5260-5260 O argumento numero 1 de ArcCosineFn e' uma instancia de Numero Real
(domain ArcSineFn 1 RealNumber) Merge.kif 5270-5270 O argumento numero 1 de ArcSineFn e' uma instancia de Numero Real
(domain ArcTangentFn 1 RealNumber) Merge.kif 5250-5250 O argumento numero 1 de ArcTangentFn e' uma instancia de Numero Real
(domain CeilingFn 1 RealNumber) Merge.kif 4784-4784 O argumento numero 1 de CeilingFn e' uma instancia de Numero Real
(domain DenominatorFn 1 RealNumber) Merge.kif 4811-4811 O argumento numero 1 de DenominatorFn e' uma instancia de Numero Real
(domain DivisionFn 1 RealNumber) Merge.kif 4743-4743 O argumento numero 1 de DivisionFn e' uma instancia de Numero Real
(domain DivisionFn 2 RealNumber) Merge.kif 4744-4744 O argumento numero 2 de DivisionFn e' uma instancia de Numero Real
(domain ExponentiationFn 1 RealNumber) Merge.kif 4820-4820 O argumento numero 1 de ExponentiationFn e' uma instancia de Numero Real
(domain FloorFn 1 RealNumber) Merge.kif 4829-4829 O argumento numero 1 de FloorFn e' uma instancia de Numero Real
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 4924-4924 O argumento numero 1 de IntegerSquareRootFn e' uma instancia de Numero Real
(domain LogFn 1 RealNumber) Merge.kif 4976-4976 O argumento numero 1 de LogFn e' uma instancia de Numero Real
(domain MeasureFn 1 RealNumber) Merge.kif 6349-6349 O argumento numero 1 de MeasureFn e' uma instancia de Numero Real
(domain MultiplicationFn 1 RealNumber) Merge.kif 4700-4700 O argumento numero 1 de MultiplicationFn e' uma instancia de Numero Real
(domain MultiplicationFn 2 RealNumber) Merge.kif 4701-4701 O argumento numero 2 de MultiplicationFn e' uma instancia de Numero Real
(domain NumeratorFn 1 RealNumber) Merge.kif 5037-5037 O argumento numero 1 de NumeratorFn e' uma instancia de Numero Real
(domain ReciprocalFn 1 RealNumber) Merge.kif 5071-5071 O argumento numero 1 de ReciprocalFn e' uma instancia de Numero Real
(domain RoundFn 1 RealNumber) Merge.kif 5171-5171 O argumento numero 1 de RoundFn e' uma instancia de Numero Real
(domain SignumFn 1 RealNumber) Merge.kif 5190-5190 O argumento numero 1 de SignumFn e' uma instancia de Numero Real
(domain SineFn 1 RealNumber) Merge.kif 5212-5212 O argumento numero 1 de SineFn e' uma instancia de Numero Real
(domain SquareRootFn 1 RealNumber) Merge.kif 5220-5220 O argumento numero 1 de SquareRootFn e' uma instancia de Numero Real
(domain SubtractionFn 1 RealNumber) Merge.kif 4727-4727 O argumento numero 1 de SubtractionFn e' uma instancia de Numero Real
(domain SubtractionFn 2 RealNumber) Merge.kif 4728-4728 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 4769-4780 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 5240-5246
(=>
    (instance ?N RealNumber)
    (equal
        (MeasureFn ?N Horsepower)
        (MeasureFn
            (MultiplicationFn ?N 746) Watt)))		 Merge.kif 6903-6907

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 5370-5375
(=>
    (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