a proposition to be proved , a theorem .

http://lila-erc.eu/data/lexicalResources/LewisShort/id/LexicalSense/n48140.0 an entity of type: LexicalSense

rdfs:label

a proposition to be proved , a theorem .

<http://www.w3.org/2004/02/skos#definition>

a proposition to be proved , a theorem .

ontolex:LexicalSense

ontolex:isLexicalizedSenseOf

<http://lila-erc.eu/data/lexicalResources/LewisShort/id/LexicalConcept/n48140.0>

data from the linked data cloud