n06165364
| type | n |
| lex_filenum | 09 |
| def | a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) |
| Outgoing links | |
| Hypernym | symbolic logic, mathematical logic, formal logic |
| Part meronym | quantification |
| Incoming links | |
| Hyponym | symbolic logic, mathematical logic, formal logic |
| Part holonym | quantification |
Click for the XML entry