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

This tool relates English terms to concepts from the
SUMO
ontology by means of mappings to
WordNet synsets.
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  nonEuclidean_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, singlevalued_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