lemma (n)

n06751833

type n
lex_filenum 10
def a subsidiary proposition that is assumed to be true in order to prove another proposition
Outgoing links
Hypernym proposition
Incoming links
Hyponym proposition

Back to the index

Click for the XML entry