n05918267
Back to the index
Click for the XML entry
<synset id="n05918267" type="n"> <lex_filenum>09<lex_filenum/> <word lex_id="0">theorem<word/> <pointer refs="n05833840">Hypernym<pointer/> <pointer refs="n05918379">Hyponym<pointer/> <def>an idea accepted as a demonstrable truth<def/> <synset/>