RealNumber - Sigma Knowledge base Browser

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 1931-1933
(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 1928-1928	Real number is exhaustively partitioned into negative real number and nonnegative real number
(partition RealNumber RationalNumber IrrationalNumber)	Merge.kif 1929-1929	Real number is exhaustively partitioned into rational number and irrational number
(subclass RealNumber Number)	Merge.kif 1927-1927	Real number is a subclass of number

appearance as argument number 2

(disjoint ComplexNumber RealNumber)	Merge.kif 2045-2045	Complex number is disjoint from real number
(partition Number RealNumber ImaginaryNumber ComplexNumber)	Merge.kif 1860-1860	Number is exhaustively partitioned into real number, imaginary number, and complex number
(range AdditionFn RealNumber)	Merge.kif 4767-4767	The range of AdditionFn is an instance of real number
(range ArcCosineFn RealNumber)	Merge.kif 5313-5313	The range of ArcCosineFn is an instance of real number
(range ArcSineFn RealNumber)	Merge.kif 5323-5323	The range of ArcSineFn is an instance of real number
(range ArcTangentFn RealNumber)	Merge.kif 5303-5303	The range of ArcTangentFn is an instance of real number
(range AverageFn RealNumber)	Merge.kif 3310-3310	The range of AverageFn is an instance of real number
(range BirthsPerThousandFn RealNumber)	People.kif 71-71	The range of BirthsPerThousandFn is an instance of real number
(range ChildrenBornPerWomanFn RealNumber)	People.kif 443-443	The range of ChildrenBornPerWomanFn is an instance of real number
(range ClickThroughRateFn RealNumber)	UXExperimentalTerms.kif 3330-3330	The range of ClickThroughRateFn is an instance of real number
(range CosineFn RealNumber)	Merge.kif 4855-4855	The range of CosineFn is an instance of real number
(range DeathsPerThousandFn RealNumber)	People.kif 104-104	The range of DeathsPerThousandFn is an instance of real number
(range DeathsPerThousandLiveBirthsFn RealNumber)	People.kif 230-230	The range of DeathsPerThousandLiveBirthsFn is an instance of real number
(range DivisionFn RealNumber)	Merge.kif 4797-4797	The range of DivisionFn is an instance of real number
(range ExponentiationFn RealNumber)	Merge.kif 4874-4874	The range of ExponentiationFn is an instance of real number
(range FemaleLifeExpectancyAtBirthFn RealNumber)	People.kif 396-396	The range of FemaleLifeExpectancyAtBirthFn is an instance of real number
(range LifeExpectancyAtBirthFn RealNumber)	People.kif 299-299	The range of LifeExpectancyAtBirthFn is an instance of real number
(range LiftFn RealNumber)	UXExperimentalTerms.kif 4554-4554	The range of LiftFn is an instance of real number
(range ListSumFn RealNumber)	Merge.kif 3279-3279	The range of ListSumFn is an instance of real number
(range LogFn RealNumber)	Merge.kif 5030-5030	The range of LogFn is an instance of real number
(range MaleLifeExpectancyAtBirthFn RealNumber)	People.kif 348-348	The range of MaleLifeExpectancyAtBirthFn is an instance of real number
(range MaleToFemaleRatioFn RealNumber)	People.kif 193-193	The range of MaleToFemaleRatioFn is an instance of real number
(range MigrantsPerThousandFn RealNumber)	People.kif 140-140	The range of MigrantsPerThousandFn is an instance of real number
(range MohsScaleFn RealNumber)	Mid-level-ontology.kif 10441-10441	The range of MohsScaleFn is an instance of real number
(range MultiplicationFn RealNumber)	Merge.kif 4754-4754	The range of MultiplicationFn is an instance of real number

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 4815-4815	The number 1 argument of AbsoluteValueFn is an instance of real number
(domain AdditionFn 1 RealNumber)	Merge.kif 4765-4765	The number 1 argument of AdditionFn is an instance of real number
(domain AdditionFn 2 RealNumber)	Merge.kif 4766-4766	The number 2 argument of AdditionFn is an instance of real number
(domain ArcCosineFn 1 RealNumber)	Merge.kif 5312-5312	The number 1 argument of ArcCosineFn is an instance of real number
(domain ArcSineFn 1 RealNumber)	Merge.kif 5322-5322	The number 1 argument of ArcSineFn is an instance of real number
(domain ArcTangentFn 1 RealNumber)	Merge.kif 5302-5302	The number 1 argument of ArcTangentFn is an instance of real number
(domain CeilingFn 1 RealNumber)	Merge.kif 4836-4836	The number 1 argument of CeilingFn is an instance of real number
(domain DenominatorFn 1 RealNumber)	Merge.kif 4863-4863	The number 1 argument of DenominatorFn is an instance of real number
(domain DivisionFn 1 RealNumber)	Merge.kif 4795-4795	The number 1 argument of DivisionFn is an instance of real number
(domain DivisionFn 2 RealNumber)	Merge.kif 4796-4796	The number 2 argument of DivisionFn is an instance of real number
(domain ExponentiationFn 1 RealNumber)	Merge.kif 4872-4872	The number 1 argument of ExponentiationFn is an instance of real number
(domain FloorFn 1 RealNumber)	Merge.kif 4881-4881	The number 1 argument of FloorFn is an instance of real number
(domain IntegerSquareRootFn 1 RealNumber)	Merge.kif 4976-4976	The number 1 argument of IntegerSquareRootFn is an instance of real number
(domain LogFn 1 RealNumber)	Merge.kif 5028-5028	The number 1 argument of LogFn is an instance of real number
(domain MeasureFn 1 RealNumber)	Merge.kif 6398-6398	The number 1 argument of MeasureFn is an instance of real number
(domain MultiplicationFn 1 RealNumber)	Merge.kif 4752-4752	The number 1 argument of MultiplicationFn is an instance of real number
(domain MultiplicationFn 2 RealNumber)	Merge.kif 4753-4753	The number 2 argument of MultiplicationFn is an instance of real number
(domain NumeratorFn 1 RealNumber)	Merge.kif 5089-5089	The number 1 argument of NumeratorFn is an instance of real number
(domain ReciprocalFn 1 RealNumber)	Merge.kif 5123-5123	The number 1 argument of ReciprocalFn is an instance of real number
(domain RoundFn 1 RealNumber)	Merge.kif 5223-5223	The number 1 argument of RoundFn is an instance of real number
(domain SignumFn 1 RealNumber)	Merge.kif 5242-5242	The number 1 argument of SignumFn is an instance of real number
(domain SineFn 1 RealNumber)	Merge.kif 5264-5264	The number 1 argument of SineFn is an instance of real number
(domain SquareRootFn 1 RealNumber)	Merge.kif 5272-5272	The number 1 argument of SquareRootFn is an instance of real number
(domain SubtractionFn 1 RealNumber)	Merge.kif 4779-4779	The number 1 argument of SubtractionFn is an instance of real number
(domain SubtractionFn 2 RealNumber)	Merge.kif 4780-4780	The number 2 argument of SubtractionFn is an instance of real number

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 4821-4832	equal the absolute value of a real number and an integer and the real number is an instance of real number and the integer is an instance of real number if and only if the real number is an instance of nonnegative real number and equal the real number and the integer or the real number is an instance of negative real number and equal the integer and (0.0 and the real number)
(=> (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 3238-3258	If a collection is an instance of collection and an integer is an instance of currency measure and another integer is an instance of real number and equal the integer and GMBFn the collection and equal the other integer and the number of instances in the class described by a symbolic string, then equal ABPFn the collection and the integer and the other integer
(=> (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 3281-3301	If a collection is an instance of collection and an integer is an instance of currency measure and another integer is an instance of real number and equal the integer and GMVFn the collection and equal the other integer and the number of instances in the class described by a symbolic string, then equal ASPFn the collection and the integer and the other integer
(=> (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	If roastedToTemperature a Food and a real number and the Food is an instance of CoffeeBean and the real number is an instance of real number, then the statement there exists an entity such that the entity is an instance of DryRoasting and the Food is a patient of the entity has the modal force of Likely
(=> (instance ?DEGREE RealNumber) (equal (TangentFn ?DEGREE) (DivisionFn (SineFn ?DEGREE) (CosineFn ?DEGREE))))	Merge.kif 5292-5298	If a real number is an instance of real number, then equal the tangent of the real number and the sine of the real number and the cosine of the real number
(=> (instance ?N RealNumber) (equal (MeasureFn ?N Horsepower) (MeasureFn (MultiplicationFn ?N 746) Watt)))	Merge.kif 6952-6956	If a real number is an instance of real number, then equal the real number Horsepower(s) and the real number and 746 Watt(s)

consequent

(<=> (instance ?NUMBER NegativeRealNumber) (and (lessThan ?NUMBER 0) (instance ?NUMBER RealNumber)))	Merge.kif 1984-1988	A real number is an instance of negative real number if and only if the real number is less than 0 and the real number is an instance of real number
(<=> (instance ?NUMBER NonnegativeRealNumber) (and (greaterThanOrEqualTo ?NUMBER 0) (instance ?NUMBER RealNumber)))	Merge.kif 1962-1966	A real number is an instance of nonnegative real number if and only if the real number is greater than or equal to 0 and the real number is an instance of real number
(<=> (instance ?NUMBER PositiveRealNumber) (and (greaterThan ?NUMBER 0) (instance ?NUMBER RealNumber)))	Merge.kif 1973-1977	A real number is an instance of positive real number if and only if the real number is greater than 0 and the real number is an instance of real number
(=> (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 33715-33735	If a motion is an instance of MovingAwayFrom and an object is an instance of object and an entity is an instance of object and the object is a patient of the motion and the entity is a patient of the motion, then there exist the entity, a real number,, , another real number and another entity such that the real number is an instance of real number and the other real number is an instance of real number and moves the motion and the object and the distance between the object and the entity is the real number the other entity(s) holds during the beginning of the time of existence of the motion and the distance between the object and the entity is the other real number the other entity(s) holds during the end of the time of existence of the motion and the other real number is greater than the real number
(=> (and (instance ?MT MovingTowards) (instance ?RELATIVEOBJECT Object) (instance ?REFERENCEOBJECT Object) (patient ?MT ?REFERENCEOBJECT) (patient ?MT ?RELATIVEOBJECT)) (exists (?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE ?U) (and (instance ?BEFOREDISTANCE RealNumber) (instance ?AFTERDISTANCE RealNumber) (instance ?U UnitOfLength) (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 33742-33763	If a motion is an instance of MovingTowards and an object is an instance of object and an entity is an instance of object and the entity is a patient of the motion and the object is a patient of the motion, then there exist the entity, a real number,, , another real number and another entity such that the real number is an instance of real number and the other real number is an instance of real number and the other entity is an instance of UnitOfLength and moves the motion and the object and the distance between the object and the entity is the real number the other entity(s) holds during the beginning of the time of existence of the motion and the distance between the object and the entity is the other real number the other entity(s) holds during the end of the time of existence of the motion and the real number is greater than the other real number
(=> (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 14961-14972	If an unit of measure is an instance of unit of measure and equal another unit of measure and SquareUnitFn the unit of measure, then there exists a real number such that the real number is an instance of real number and equal the real number the other unit of measure(s) and the real number and the real number the unit of measure(s)
(=> (average ?LIST ?AVERAGE) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (instance ?LISTITEM RealNumber))))	Merge.kif 5422-5427	If average a list and a real number, then for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of real number
(=> (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	If an object is an instance of Lungo, then there exist another object and a real number such that the other object is an instance of Espresso and the other object is a part of the object and the measure of the other object is the real number Liter(s) and the real number is an instance of real number and the measure of the object is the real number and 2 Liter(s)

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

KB Term:			Term intersection

English Word: