|
gptkbp:instanceOf
|
gptkb:mathematical_concept
|
|
gptkbp:can_be_negative
|
True
|
|
gptkbp:can_be_positive
|
True
|
|
gptkbp:can_be_represented_on
|
Number line
|
|
gptkbp:can_be_zero
|
True
|
|
gptkbp:compatibleWith
|
Imaginary number
Complex number (with nonzero imaginary part)
Transcendental number (if not irrational)
|
|
gptkbp:defines
|
gptkb:Dedekind_cut
Cauchy sequence
|
|
gptkbp:hasProperty
|
Completeness
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Real number
|
|
gptkbp:includes
|
gptkb:Integer
gptkb:Irrational_number
gptkb:Natural_number
gptkb:Rational_number
Whole number
|
|
gptkbp:is_a_continuum
|
True
|
|
gptkbp:is_a_field
|
True
|
|
gptkbp:is_an_ordered_field
|
True
|
|
gptkbp:is_closed_under
|
Addition
Multiplication
Subtraction
Division (except by zero)
|
|
gptkbp:is_denoted_by
|
R
|
|
gptkbp:is_uncountable
|
True
|
|
gptkbp:is_used_to_define
|
gptkb:Probability_theory
gptkb:Banach_spaces
gptkb:Hilbert_spaces
gptkb:Differential_equations
Derivatives
Series
Functions
Sequences
Integrals
Intervals
Limits
Measure theory
Metric spaces
Normed spaces
Topology of the real line
Vector spaces over R
|
|
gptkbp:represents
|
Decimal expansion
Infinite series
|
|
gptkbp:subclassOf
|
Complex number
|
|
gptkbp:used_in
|
gptkb:Physics
gptkb:Calculus
Engineering
Analysis
Real analysis
|
|
gptkbp:bfsParent
|
gptkb:Numbers
gptkb:Real
|
|
gptkbp:bfsLayer
|
5
|