"that is" meaning in 英語

{
  "categories": [
    {
      "kind": "other",
      "name": "英語",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "英語 成句",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "英語 成句 副詞句",
      "parents": [],
      "source": "w"
    }
  ],
  "lang": "英語",
  "lang_code": "en",
  "pos": "phrase",
  "pos_title": "成句",
  "senses": [
    {
      "examples": [
        {
          "bold_text_offsets": [
            [
              55,
              62
            ]
          ],
          "text": "If we increase x to x + dx, then y will become y − dy; that is, when x receives a positive increment, the increment which results to y is negative. (Silvanus Thompson. \"Calculus Made Easy\")〔1914年〕",
          "translation": "x を x + dx に増やすと、y が y − dy になる。つまり、x が正の増量を受け取ると、y に発生する増分は負になる。"
        }
      ],
      "glosses": [
        "すなわち。つまり。言い換えれば。"
      ],
      "id": "ja-that_is-en-phrase-kmRAmK1w"
    }
  ],
  "synonyms": [
    {
      "word": "that is to say"
    },
    {
      "word": "in other words"
    },
    {
      "word": "i.e."
    }
  ],
  "tags": [
    "idiomatic"
  ],
  "word": "that is"
}

{
  "categories": [
    "英語",
    "英語 成句",
    "英語 成句 副詞句"
  ],
  "lang": "英語",
  "lang_code": "en",
  "pos": "phrase",
  "pos_title": "成句",
  "senses": [
    {
      "examples": [
        {
          "bold_text_offsets": [
            [
              55,
              62
            ]
          ],
          "text": "If we increase x to x + dx, then y will become y − dy; that is, when x receives a positive increment, the increment which results to y is negative. (Silvanus Thompson. \"Calculus Made Easy\")〔1914年〕",
          "translation": "x を x + dx に増やすと、y が y − dy になる。つまり、x が正の増量を受け取ると、y に発生する増分は負になる。"
        }
      ],
      "glosses": [
        "すなわち。つまり。言い換えれば。"
      ]
    }
  ],
  "synonyms": [
    {
      "word": "that is to say"
    },
    {
      "word": "in other words"
    },
    {
      "word": "i.e."
    }
  ],
  "tags": [
    "idiomatic"
  ],
  "word": "that is"
}