WordNet mapping browser : Welcome guest : log in

[  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChinesePinyinWritingChineseSimplifiedWritingChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageHerbaceousPlantHindiItalianLanguageJapaneseLanguagePortugueseLanguageSpanishLanguageSwedishLanguageWoodyPlantcbczdehirosvtg   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

SUMO Search Tool

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

• SUMO Mappings: Mathematics (instance mapping)

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