n06752293
Back to the index
Click for the XML entry
<synset id="n06752293" type="n"> <lex_filenum>10<lex_filenum/> <word lex_id="0">theorem<word/> <pointer refs="n06750804">Hypernym<pointer/> <pointer refs="n06036939">Hyponym<pointer/> <def>a proposition deducible from basic postulates<def/> <synset/>