Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 




Sigma KEE - RealNumber
KB Term: 

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
实数
任何可以表达为一个(可能是无限的)十进制的 Number, 即任何在数字线上佔有一席位 Number
Relationships      
Parents 数字 A measure of how many things there are, or how much there is, of a certain kind. Numbers are subclassed into RealNumber, ComplexNumber, and ImaginaryNumber.
Children 二进制数Elements from the number system with base 2. Every BinaryNumber is expressed as a sequence of the digits 1 and 0.
 无理数Any RealNumber that is not also a RationalNumber.
 负实数A RealNumber that is less than zero.
 非负实数A RealNumber that is greater than or equal to zero.
 有理数Any RealNumber that is the product of dividing two Integers.


Show simplified definition with tree view
Show full definition (without tree view)
Show full 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