n06647960
Back to the index
Click for the XML entry
<synset id="n06647960" type="n"> <lex_filenum>10<lex_filenum/> <word lex_id="0">logical proof<word/> <pointer refs="n06647614">Hypernym<pointer/> <def>proof of a logical theorem<def/> <synset/>