WordNet mapping browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


SUMO Search Tool

This tool relates English terms to concepts from the SUMO ontology by means of mappings to WordNet synsets.


English Word: 
Noun Synset: 106000644

Words: math, mathematics, maths

Gloss: a science (or group of related sciences) dealing with the logic of quantity and shape and arrangement

hypernym 105999797 - science, scientific_discipline
domain topic 105999797 - science, scientific_discipline
derivationally related 300915141 - mathematical
derivationally related 302937876 - mathematical
derivationally related 110301261 - mathematician
member topic 300355453 - idempotent
member topic 300472534 - combinatorial
member topic 300597424 - continuous
member topic 300597599 - discontinuous
member topic 300728826 - commutative
member topic 300769239 - direct
member topic 300769489 - inverse
member topic 300785406 - dividable
member topic 300786031 - indivisible_by, undividable
member topic 300915141 - mathematical
member topic 300916524 - round
member topic 300943683 - representable
member topic 301417451 - additive, linear
member topic 301417790 - nonlinear
member topic 301547220 - monotone, monotonic
member topic 301547721 - nonmonotonic
member topic 301659999 - open
member topic 301660135 - closed
member topic 301819592 - nonnegative
member topic 301819692 - positive
member topic 301819976 - negative
member topic 302110993 - disjoint
member topic 302373981 - noninterchangeable
member topic 302506408 - invariant
member topic 302607608 - affine
member topic 302620550 - analytic
member topic 302711468 - diagonalizable
member topic 302792424 - scalene
member topic 302828802 - isometric
member topic 302909168 - differential
member topic 302929901 - rational
member topic 302930083 - irrational
member topic 303012209 - prime
member topic 303049220 - bivariate
member topic 100073177 - rounding, rounding_error
member topic 100073525 - truncation_error
member topic 100869583 - mathematical_operation, mathematical_process, operation
member topic 101212225 - rationalisation, rationalization
member topic 104738995 - invariance
member topic 104803209 - accuracy
member topic 105064827 - balance, correspondence, symmetricalness, symmetry
member topic 105065717 - asymmetry, dissymmetry, imbalance
member topic 105783041 - factoring, factorisation, factorization
member topic 105802547 - extrapolation
member topic 105802730 - interpolation
member topic 105846932 - formula, rule
member topic 105848357 - recursion
member topic 105850432 - invariant
member topic 105861855 - multinomial, polynomial
member topic 105862721 - series
member topic 105864047 - infinitesimal
member topic 105931152 - fractal
hyponym 106003682 - pure_mathematics
member topic 106004067 - arithmetic
member topic 106004685 - geometry
member topic 106005399 - affine_geometry
member topic 106005518 - Euclidean_geometry, elementary_geometry, parabolic_geometry
member topic 106005692 - Euclid's_axiom, Euclid's_postulate, Euclidean_axiom
member topic 106006609 - fractal_geometry
member topic 106006777 - non-Euclidean_geometry
member topic 106007046 - hyperbolic_geometry
member topic 106007381 - Riemannian_geometry, elliptic_geometry
member topic 106007642 - numerical_analysis
member topic 106007859 - spherical_geometry
member topic 106008007 - spherical_trigonometry
member topic 106008382 - analytic_geometry, analytical_geometry, coordinate_geometry
member topic 106012108 - plane_geometry
member topic 106012225 - solid_geometry
member topic 106012340 - descriptive_geometry, projective_geometry
member topic 106012513 - trig, trigonometry
member topic 106012726 - algebra
member topic 106012998 - quadratics
member topic 106013126 - linear_algebra
member topic 106013298 - vector_algebra
member topic 106013584 - matrix_algebra
member topic 106013741 - calculus, infinitesimal_calculus
member topic 106014043 - analysis
member topic 106014435 - differential_calculus, method_of_fluxions
member topic 106015271 - integral_calculus
member topic 106015978 - calculus_of_variations
member topic 106016121 - set_theory
member topic 106017053 - subgroup
member topic 106017193 - group_theory
member topic 106017334 - Galois_theory
member topic 106017594 - analysis_situs, topology
member topic 106017895 - metamathematics
hyponym 106018022 - applied_math, applied_mathematics
member topic 106036506 - binomial
member topic 106647614 - proof
member topic 106669864 - equation
member topic 106731802 - expression, formula
member topic 106732169 - mathematical_statement
member topic 106745422 - recursive_definition
member topic 106755776 - boundary_condition
member topic 107999699 - set
member topic 108000118 - domain, domain_of_a_function
member topic 108000304 - image, range, range_of_a_function
member topic 108000644 - universal_set
member topic 108001685 - mathematical_space, topological_space
member topic 108005260 - field
member topic 108267640 - matrix
member topic 108268321 - diagonal
member topic 108460924 - arithmetic_progression
member topic 108461172 - geometric_progression
member topic 108461424 - harmonic_progression
member topic 110301261 - mathematician
member topic 113591586 - cardinality
member topic 113729428 - complex_number, complex_quantity, imaginary, imaginary_number
member topic 113731530 - radical
member topic 113783581 - mathematical_relation
member topic 113783816 - function, map, mapping, mathematical_function, single-valued_function
member topic 113784366 - expansion
member topic 113784906 - metric, metric_function
member topic 113785136 - transformation
member topic 113785404 - reflection
member topic 113785557 - rotation
member topic 113785736 - translation
member topic 113785965 - affine_transformation
member topic 113786413 - operator
member topic 113790133 - parity
member topic 113798491 - transitivity
member topic 113798814 - reflexiveness, reflexivity
member topic 113843001 - additive_inverse
member topic 113843173 - multiplicative_inverse, reciprocal
member topic 113861050 - plane, sheet
member topic 113870414 - geodesic, geodesic_line
member topic 113880994 - parallel
member topic 113903855 - upper_bound
member topic 113904011 - lower_bound
member topic 113913427 - ray
member topic 114419889 - osculation
member topic 200234057 - develop
member topic 200343600 - iterate
member topic 200553407 - commute, transpose
member topic 200568879 - rationalise, rationalize
member topic 200575561 - eliminate
member topic 200637259 - calculate, cipher, compute, cypher, figure, reckon, work_out
member topic 200638723 - extract
member topic 200642644 - extrapolate, interpolate
member topic 200642803 - differentiate
member topic 200642980 - integrate
member topic 200665630 - prove
member topic 200740290 - truncate
member topic 202258291 - reduce
member topic 202732401 - converge
member topic 202732603 - diverge
member topic 202751055 - osculate

Show Open Multilingual Wordnet links

Verb Frames

Show OWL translation



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