n06731802
type | n |
lex_filenum | 10 |
def | a group of symbols that make a mathematical statement |
Outgoing links | |
Hypernym | mathematical statement |
Domain of synset - TOPIC | mathematics, math, maths |
Derivationally related form | formula → formularize |
Hyponym | sentential function; primitive; exponential expression |
Incoming links | |
Member of this domain - TOPIC | mathematics, math, maths |
Hypernym | sentential function; primitive; exponential expression |
Hyponym | mathematical statement |
Derivationally related form | formularize → formula |
Click for the XML entry