RealNumber

-------------------------


(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