(range PPSFn RealNumber)	UXExperimentalTerms.kif 3256-3256
(range PathWeightFn RealNumber)	Merge.kif 5871-5871
(range PopulationGrowthFn RealNumber)	People.kif 64-64
(range ProbabilityFn RealNumber)	Merge.kif 2514-2514
(range RealNumberFn RealNumber)	Merge.kif 4966-4966
(range ReciprocalFn RealNumber)	Merge.kif 4975-4975
(range RoundFn RealNumber)	Merge.kif 5071-5071
(range SRPEngagementFn RealNumber)	UXExperimentalTerms.kif 3920-3920
(range SineFn RealNumber)	Merge.kif 5112-5112
(range SquareRootFn RealNumber)	Merge.kif 5120-5120
(range SubtractionFn RealNumber)	Merge.kif 4632-4632
(range TangentFn RealNumber)	Merge.kif 5132-5132
(subclass BinaryNumber RealNumber)	Merge.kif 1943-1943
(subclass IrrationalNumber RealNumber)	Merge.kif 1856-1856
(subclass NegativeRealNumber RealNumber)	Merge.kif 1883-1883
(subclass NonnegativeRealNumber RealNumber)	Merge.kif 1861-1861
(subclass RationalNumber RealNumber)	Merge.kif 1851-1851
(termFormat ChineseLanguage RealNumber "实数")	chinese_format.kif 859-859
(termFormat EnglishLanguage RealNumber "real number")	english_format.kif 920-920
(trichotomizingOn greaterThan RealNumber)	Merge.kif 1787-1787
(trichotomizingOn greaterThanOrEqualTo RealNumber)	Merge.kif 1816-1816
(trichotomizingOn lessThan RealNumber)	Merge.kif 1775-1775
(trichotomizingOn lessThanOrEqualTo RealNumber)	Merge.kif 1799-1799

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