<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE LexicalResource SYSTEM "http://globalwordnet.github.io/schemas/WN-LMF-relaxed-1.4.dtd">
<LexicalResource xmlns:dc="https://globalwordnet.github.io/schemas/dc/">
  <Lexicon id="oewn" label="Open English Wordnet" language="en" email="english-wordnet@googlegroups.com" license="https://creativecommons.org/licenses/by/4.0" version="2024" url="https://github.com/globalwordnet/english-wordnet">
    <LexicalEntry id="oewn-formula-n">
      <Lemma writtenForm="formula" partOfSpeech="n">
        <Pronunciation variety="GB">ˈfɔː.mjʊ.lə</Pronunciation>
        <Pronunciation variety="US">ˈfɔɹ.mjə.lə</Pronunciation>
      </Lemma>
      <Form writtenForm="formulae"/>
      <Sense id="oewn-formula-n-05855459-n" synset="oewn-05855459-n" dc:identifier="formula%1:09:01::">
        <SenseRelation relType="derivation" target="oewn-formulate-v-01636715-v"/>
        <SenseRelation relType="derivation" target="oewn-formularize-v-00983115-v"/>
      </Sense>
    </LexicalEntry>
    <LexicalEntry id="oewn-rule-n">
      <Lemma writtenForm="rule" partOfSpeech="n"/>
      <Sense id="oewn-rule-n-05855459-n" synset="oewn-05855459-n" dc:identifier="rule%1:09:04::"/>
    </LexicalEntry>
    <Synset id="oewn-05855459-n" ili="i67600" partOfSpeech="n" members="oewn-rule-n oewn-formula-n" lexfile="noun.cognition">
      <Definition language="en">(mathematics) a standard procedure for solving a class of mathematical problems</Definition>
      <SynsetRelation relType="domain_topic" target="oewn-06009822-n"/>
      <SynsetRelation relType="hypernym" target="oewn-01025762-n"/>
      <SynsetRelation relType="hyponym" target="oewn-05855847-n"/>
      <SynsetRelation relType="hyponym" target="oewn-05855965-n"/>
      <SynsetRelation relType="hyponym" target="oewn-05856483-n"/>
      <SynsetRelation relType="hyponym" target="oewn-05856884-n"/>
      <Example language="en">he determined the upper bound with Descartes&apos; rule of signs</Example>
      <Example language="en">he gave us a general formula for attacking polynomials</Example>
    </Synset>
  </Lexicon>
</LexicalResource>