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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 1906-1908
(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 11728-11728
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Real_Number_Line.PNG") pictureList.kif 10221-10221
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") pictureList.kif 11727-11727
(partition RealNumber NegativeRealNumber NonnegativeRealNumber) Merge.kif 1903-1903 O conceito Numero Real e' completamente decomposto em Numero Real negativo + Numero Real nao-negativo
(partition RealNumber RationalNumber IrrationalNumber) Merge.kif 1904-1904 O conceito Numero Real e' completamente decomposto em Numero Racional + Numero Irracional
(subclass RealNumber Number) Merge.kif 1902-1902 Numero Real e' uma sub-classe de Numero

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


(disjoint ComplexNumber RealNumber) Merge.kif 2020-2020 Numero Complexo e' disjunto de Numero Real
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1835-1835 O conceito Numero e' completamente decomposto em Numero Real, Numero Imaginario, + Numero Complexo
(range AdditionFn RealNumber) Merge.kif 4742-4742 O contra-dominio de AdditionFn e' uma instancia de Numero Real
(range ArcCosineFn RealNumber) Merge.kif 5288-5288 O contra-dominio de ArcCosineFn e' uma instancia de Numero Real
(range ArcSineFn RealNumber) Merge.kif 5298-5298 O contra-dominio de ArcSineFn e' uma instancia de Numero Real
(range ArcTangentFn RealNumber) Merge.kif 5278-5278 O contra-dominio de ArcTangentFn e' uma instancia de Numero Real
(range AverageFn RealNumber) Merge.kif 3285-3285 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 4830-4830 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 4772-4772 O contra-dominio de DivisionFn e' uma instancia de Numero Real
(range ExponentiationFn RealNumber) Merge.kif 4849-4849 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 3254-3254 O contra-dominio de ListSumFn e' uma instancia de Numero Real
(range LogFn RealNumber) Merge.kif 5005-5005 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 MohsScaleFn RealNumber) Mid-level-ontology.kif 10446-10446 O contra-dominio de MohsScaleFn e' uma instancia de Numero Real
(range MultiplicationFn RealNumber) Merge.kif 4729-4729 O contra-dominio de MultiplicationFn 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 4790-4790 O argumento numero 1 de AbsoluteValueFn e' uma instancia de Numero Real
(domain AdditionFn 1 RealNumber) Merge.kif 4740-4740 O argumento numero 1 de AdditionFn e' uma instancia de Numero Real
(domain AdditionFn 2 RealNumber) Merge.kif 4741-4741 O argumento numero 2 de AdditionFn e' uma instancia de Numero Real
(domain ArcCosineFn 1 RealNumber) Merge.kif 5287-5287 O argumento numero 1 de ArcCosineFn e' uma instancia de Numero Real
(domain ArcSineFn 1 RealNumber) Merge.kif 5297-5297 O argumento numero 1 de ArcSineFn e' uma instancia de Numero Real
(domain ArcTangentFn 1 RealNumber) Merge.kif 5277-5277 O argumento numero 1 de ArcTangentFn e' uma instancia de Numero Real
(domain CeilingFn 1 RealNumber) Merge.kif 4811-4811 O argumento numero 1 de CeilingFn e' uma instancia de Numero Real
(domain DenominatorFn 1 RealNumber) Merge.kif 4838-4838 O argumento numero 1 de DenominatorFn e' uma instancia de Numero Real
(domain DivisionFn 1 RealNumber) Merge.kif 4770-4770 O argumento numero 1 de DivisionFn e' uma instancia de Numero Real
(domain DivisionFn 2 RealNumber) Merge.kif 4771-4771 O argumento numero 2 de DivisionFn e' uma instancia de Numero Real
(domain ExponentiationFn 1 RealNumber) Merge.kif 4847-4847 O argumento numero 1 de ExponentiationFn e' uma instancia de Numero Real
(domain FloorFn 1 RealNumber) Merge.kif 4856-4856 O argumento numero 1 de FloorFn e' uma instancia de Numero Real
(domain IntegerSquareRootFn 1 RealNumber) Merge.kif 4951-4951 O argumento numero 1 de IntegerSquareRootFn e' uma instancia de Numero Real
(domain LogFn 1 RealNumber) Merge.kif 5003-5003 O argumento numero 1 de LogFn e' uma instancia de Numero Real
(domain MeasureFn 1 RealNumber) Merge.kif 6373-6373 O argumento numero 1 de MeasureFn e' uma instancia de Numero Real
(domain MultiplicationFn 1 RealNumber) Merge.kif 4727-4727 O argumento numero 1 de MultiplicationFn e' uma instancia de Numero Real
(domain MultiplicationFn 2 RealNumber) Merge.kif 4728-4728 O argumento numero 2 de MultiplicationFn e' uma instancia de Numero Real
(domain NumeratorFn 1 RealNumber) Merge.kif 5064-5064 O argumento numero 1 de NumeratorFn e' uma instancia de Numero Real
(domain ReciprocalFn 1 RealNumber) Merge.kif 5098-5098 O argumento numero 1 de ReciprocalFn e' uma instancia de Numero Real
(domain RoundFn 1 RealNumber) Merge.kif 5198-5198 O argumento numero 1 de RoundFn e' uma instancia de Numero Real
(domain SignumFn 1 RealNumber) Merge.kif 5217-5217 O argumento numero 1 de SignumFn e' uma instancia de Numero Real
(domain SineFn 1 RealNumber) Merge.kif 5239-5239 O argumento numero 1 de SineFn e' uma instancia de Numero Real
(domain SquareRootFn 1 RealNumber) Merge.kif 5247-5247 O argumento numero 1 de SquareRootFn e' uma instancia de Numero Real
(domain SubtractionFn 1 RealNumber) Merge.kif 4754-4754 O argumento numero 1 de SubtractionFn e' uma instancia de Numero Real
(domain SubtractionFn 2 RealNumber) Merge.kif 4755-4755 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 4796-4807 equal o valor absoluto de Numero Real and 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 equal Numero Real and Numero Real nao-negativo Numero Real e' uma instancia de Numero Real negativo equal Numero Real nao-negativo and (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 5267-5273
(=>
    (instance ?N RealNumber)
    (equal
        (MeasureFn ?N Horsepower)
        (MeasureFn
            (MultiplicationFn ?N 746) Watt)))
Merge.kif 6927-6931

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


(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 1959-1963 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 1937-1941 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 1948-1952 Numero Real e' uma instancia de Numero Real positivo Numero Real e' maior que 0 Numero Real e' uma instancia de Numero Real
(=>
    (and
        (instance ?MAF MovingAwayFrom)
        (instance ?RELATIVEOBJECT Object)
        (instance ?REFERENCEOBJECT Object)
        (patient ?MAF ?RELATIVEOBJECT)
        (patient ?MAF ?REFERENCEOBJECT))
    (exists (?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE ?U)
        (and
            (instance ?BEFOREDISTANCE RealNumber)
            (instance ?AFTERDISTANCE RealNumber)
            (moves ?MAF ?RELATIVEOBJECT)
            (holdsDuring
                (BeginFn
                    (WhenFn ?MAF))
                (distance ?RELATIVEOBJECT ?REFERENCEOBJECT
                    (MeasureFn ?BEFOREDISTANCE ?U)))
            (holdsDuring
                (EndFn
                    (WhenFn ?MAF))
                (distance ?RELATIVEOBJECT ?REFERENCEOBJECT
                    (MeasureFn ?AFTERDISTANCE ?U)))
            (greaterThan ?AFTERDISTANCE ?BEFOREDISTANCE))))
Mid-level-ontology.kif 33729-33749
(=>
    (and
        (instance ?MT MovingTowards)
        (instance ?RELATIVEOBJECT Object)
        (instance ?REFERENCEOBJECT Object)
        (patient ?MT ?REFERENCEOBJECT)
        (patient ?MT ?RELATIVEOBJECT))
    (exists (?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE)
        (and
            (instance ?BEFOREDISTANCE RealNumber)
            (instance ?AFTERDISTANCE RealNumber)
            (moves ?MT ?RELATIVEOBJECT)
            (holdsDuring
                (BeginFn
                    (WhenFn ?MT))
                (distance ?RELATIVEOBJECT ?REFERENCEOBJECT
                    (MeasureFn ?BEFOREDISTANCE ?U)))
            (holdsDuring
                (EndFn
                    (WhenFn ?MT))
                (distance ?RELATIVEOBJECT ?REFERENCEOBJECT
                    (MeasureFn ?AFTERDISTANCE ?U)))
            (greaterThan ?BEFOREDISTANCE ?AFTERDISTANCE))))
Mid-level-ontology.kif 33756-33776
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?SQUAREUNIT
            (SquareUnitFn ?UNIT)))
    (exists (?NUM)
        (and
            (instance ?NUM RealNumber)
            (equal
                (MeasureFn ?NUM ?SQUAREUNIT)
                (MeasureFn
                    (MultiplicationFn ?NUM ?NUM) ?UNIT)))))
Mid-level-ontology.kif 14971-14982
(=>
    (average ?LIST ?AVERAGE)
    (forall (?LISTITEM)
        (=>
            (inList ?LISTITEM ?LIST)
            (instance ?LISTITEM RealNumber))))
Merge.kif 5397-5402
(=>
    (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 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