n06753550
type | n |
lex_filenum | 10 |
def | (logic) a proposition that is not susceptible of proof or disproof |
def | its truth is assumed to be self-evident |
Outgoing links | |
Hypernym | proposition |
Domain of synset - TOPIC | logic |
Derivationally related form | axiom → axiomatic; axiom → axiomatic |
Derivationally related form | axiom → axiomatical |
Hyponym | Euclid's axiom, Euclid's postulate, Euclidean axiom |
Incoming links | |
Derivationally related form | axiomatic → axiom; axiomatic → axiom |
Derivationally related form | axiomatical → axiom |
Pertainym (pertains to noun) | axiomatical → axiom |
Pertainym (pertains to noun) | axiomatic → axiom |
Hypernym | Euclid's axiom, Euclid's postulate, Euclidean axiom |
Member of this domain - TOPIC | logic |
Hyponym | proposition |
Click for the XML entry