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