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