"sequent" meaning in All languages combined

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "ine-pro",
        "3": "*sekʷ-",
        "id": "follow"
      },
      "expansion": "",
      "name": "root"
    },
    {
      "args": {
        "1": "en",
        "2": "frm",
        "3": "sequent"
      },
      "expansion": "Middle French sequent",
      "name": "bor"
    },
    {
      "args": {
        "1": "en",
        "2": "fro",
        "3": "sequent"
      },
      "expansion": "Old French sequent",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "la",
        "3": "sequentem"
      },
      "expansion": "Latin sequentem",
      "name": "der"
    },
    {
      "args": {
        "1": "la",
        "2": "sequī",
        "3": "",
        "4": "to follow"
      },
      "expansion": "sequī (“to follow”)",
      "name": "m"
    }
  ],
  "etymology_text": "1550s; borrowed from Middle French sequent, from Old French sequent, itself borrowed from Latin sequentem, present participle of sequī (“to follow”).",
  "forms": [
    {
      "form": "more sequent",
      "tags": [
        "comparative"
      ]
    },
    {
      "form": "most sequent",
      "tags": [
        "superlative"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "sequent (comparative more sequent, superlative most sequent)",
      "name": "en-adj"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "adj",
  "related": [
    {
      "_dis1": "0 0 0",
      "word": "sequence"
    }
  ],
  "senses": [
    {
      "categories": [
        {
          "_dis": "30 36 2 2 21 2 7",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        }
      ],
      "examples": [
        {
          "ref": "1860, James Thomson (B.V.), Two Sonnets",
          "text": "Why are your songs all wild and bitter sad\nAs funeral dirges with the orphans' cries?\nEach night since first the world was made hath had\nA sequent day to laugh it down the skies.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "That comes after in time or order; subsequent."
      ],
      "id": "en-sequent-en-adj-EbdzBiSU",
      "links": [
        [
          "after",
          "after"
        ],
        [
          "subsequent",
          "subsequent"
        ]
      ],
      "raw_glosses": [
        "(obsolete) That comes after in time or order; subsequent."
      ],
      "tags": [
        "obsolete"
      ]
    },
    {
      "categories": [
        {
          "_dis": "30 36 2 2 21 2 7",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        }
      ],
      "examples": [
        {
          "ref": "1897, Henry James, What Maisie Knew",
          "text": "Maisie found herself clutched to her mother's breast and passionately sobbed and shrieked over, made the subject of a demonstration evidently sequent to some sharp passage just enacted.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "That follows on as a result, conclusion etc.; consequent to, on, upon."
      ],
      "id": "en-sequent-en-adj-FVLJQCVM",
      "links": [
        [
          "consequent",
          "consequent"
        ],
        [
          "to",
          "to#English"
        ],
        [
          "on",
          "on#English"
        ],
        [
          "upon",
          "upon#English"
        ]
      ],
      "raw_glosses": [
        "(now rare) That follows on as a result, conclusion etc.; consequent to, on, upon."
      ],
      "tags": [
        "archaic"
      ]
    },
    {
      "glosses": [
        "Recurring in succession or as a series; successive, consecutive."
      ],
      "id": "en-sequent-en-adj-pWJIMUYL",
      "links": [
        [
          "successive",
          "successive"
        ],
        [
          "consecutive",
          "consecutive"
        ]
      ],
      "translations": [
        {
          "_dis1": "12 5 83",
          "code": "bg",
          "lang": "Bulgarian",
          "roman": "sledvašt",
          "sense": "recurring in succession",
          "word": "следващ"
        },
        {
          "_dis1": "12 5 83",
          "code": "fi",
          "lang": "Finnish",
          "sense": "recurring in succession",
          "word": "perättäinen"
        },
        {
          "_dis1": "12 5 83",
          "code": "ru",
          "lang": "Russian",
          "roman": "poslédujuščij",
          "sense": "recurring in succession",
          "word": "после́дующий"
        },
        {
          "_dis1": "12 5 83",
          "code": "ru",
          "lang": "Russian",
          "roman": "slédujuščij",
          "sense": "recurring in succession",
          "word": "сле́дующий"
        },
        {
          "_dis1": "12 5 83",
          "code": "ru",
          "lang": "Russian",
          "roman": "posledovatelʹnyj",
          "sense": "recurring in succession",
          "word": "последовательный"
        }
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/ˈsiːkwənt/",
      "tags": [
        "UK"
      ]
    }
  ],
  "word": "sequent"
}

{
  "derived": [
    {
      "_dis1": "0 0 0 0",
      "word": "hypersequent"
    },
    {
      "_dis1": "0 0 0 0",
      "word": "sequent calculus"
    }
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "ine-pro",
        "3": "*sekʷ-",
        "id": "follow"
      },
      "expansion": "",
      "name": "root"
    },
    {
      "args": {
        "1": "en",
        "2": "frm",
        "3": "sequent"
      },
      "expansion": "Middle French sequent",
      "name": "bor"
    },
    {
      "args": {
        "1": "en",
        "2": "fro",
        "3": "sequent"
      },
      "expansion": "Old French sequent",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "la",
        "3": "sequentem"
      },
      "expansion": "Latin sequentem",
      "name": "der"
    },
    {
      "args": {
        "1": "la",
        "2": "sequī",
        "3": "",
        "4": "to follow"
      },
      "expansion": "sequī (“to follow”)",
      "name": "m"
    }
  ],
  "etymology_text": "1550s; borrowed from Middle French sequent, from Old French sequent, itself borrowed from Latin sequentem, present participle of sequī (“to follow”).",
  "forms": [
    {
      "form": "sequents",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "sequent (plural sequents)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [],
      "examples": [
        {
          "ref": "1946, Bertrand Russell, History of Western Philosophy, I.30",
          "text": "The One is somewhat shadowy. It is sometimes called God, sometimes the Good; it transcends Being, which is the first sequent upon the One.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "Something that follows in a given sequence."
      ],
      "id": "en-sequent-en-noun-WSrPIniF",
      "links": [
        [
          "sequence",
          "sequence"
        ]
      ],
      "translations": [
        {
          "_dis1": "78 5 13 3",
          "code": "fi",
          "lang": "Finnish",
          "sense": "something that follows",
          "word": "seuraus"
        },
        {
          "_dis1": "78 5 13 3",
          "code": "ru",
          "lang": "Russian",
          "roman": "elemént posledovatelʹnosti",
          "sense": "something that follows",
          "word": "элеме́нт последовательности"
        }
      ]
    },
    {
      "categories": [
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [
            "Formal sciences",
            "Philosophy",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "_dis": "30 36 2 2 21 2 7",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        }
      ],
      "examples": [
        {
          "text": "A sequent a,b⊢c,d could be interpreted to correspond to an Existential Graph, whose expression in Existential Graph Interchange Format would be\n~[(a) (b) ~[(c)] ~[(d)]], which in ordinary language could be expressed as \"a and b give c or d\"."
        }
      ],
      "glosses": [
        "A disjunctive set of logical formulae which is partitioned into two subsets; the first subset, called the antecedent, consists of formulae which are valuated as false, and the second subset, called the succedent, consists of formulae which are valuated as true. (The set is written without set brackets and the separation between the two subsets is denoted by a turnstile symbol, which may be read \"give(s)\".)"
      ],
      "id": "en-sequent-en-noun-NaTlHWt8",
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "disjunctive",
          "disjunctive"
        ],
        [
          "partitioned",
          "partition"
        ],
        [
          "antecedent",
          "antecedent"
        ],
        [
          "succedent",
          "succedent"
        ],
        [
          "turnstile",
          "turnstile"
        ]
      ],
      "raw_glosses": [
        "(logic) A disjunctive set of logical formulae which is partitioned into two subsets; the first subset, called the antecedent, consists of formulae which are valuated as false, and the second subset, called the succedent, consists of formulae which are valuated as true. (The set is written without set brackets and the separation between the two subsets is denoted by a turnstile symbol, which may be read \"give(s)\".)"
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ],
      "translations": [
        {
          "_dis1": "0 100 0 0",
          "code": "fi",
          "lang": "Finnish",
          "sense": "logic",
          "word": "seuraus"
        }
      ]
    },
    {
      "categories": [],
      "glosses": [
        "A follower."
      ],
      "id": "en-sequent-en-noun-PBA79Vv9",
      "links": [
        [
          "follower",
          "follower"
        ]
      ],
      "raw_glosses": [
        "(obsolete) A follower."
      ],
      "tags": [
        "obsolete"
      ]
    },
    {
      "categories": [
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Mathematics",
          "orig": "en:Mathematics",
          "parents": [
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "A sequential calculus"
      ],
      "id": "en-sequent-en-noun-4HXGH947",
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "sequential",
          "sequential"
        ],
        [
          "calculus",
          "calculus"
        ]
      ],
      "raw_glosses": [
        "(mathematics) A sequential calculus"
      ],
      "topics": [
        "mathematics",
        "sciences"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/ˈsiːkwənt/",
      "tags": [
        "UK"
      ]
    }
  ],
  "word": "sequent"
}

{
  "categories": [
    "English 2-syllable words",
    "English adjectives",
    "English countable nouns",
    "English entries with incorrect language header",
    "English lemmas",
    "English nouns",
    "English terms borrowed from Middle French",
    "English terms derived from Latin",
    "English terms derived from Middle French",
    "English terms derived from Old French",
    "English terms derived from Proto-Indo-European",
    "English terms derived from the Proto-Indo-European root *sekʷ- (follow)",
    "English terms with IPA pronunciation"
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "ine-pro",
        "3": "*sekʷ-",
        "id": "follow"
      },
      "expansion": "",
      "name": "root"
    },
    {
      "args": {
        "1": "en",
        "2": "frm",
        "3": "sequent"
      },
      "expansion": "Middle French sequent",
      "name": "bor"
    },
    {
      "args": {
        "1": "en",
        "2": "fro",
        "3": "sequent"
      },
      "expansion": "Old French sequent",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "la",
        "3": "sequentem"
      },
      "expansion": "Latin sequentem",
      "name": "der"
    },
    {
      "args": {
        "1": "la",
        "2": "sequī",
        "3": "",
        "4": "to follow"
      },
      "expansion": "sequī (“to follow”)",
      "name": "m"
    }
  ],
  "etymology_text": "1550s; borrowed from Middle French sequent, from Old French sequent, itself borrowed from Latin sequentem, present participle of sequī (“to follow”).",
  "forms": [
    {
      "form": "more sequent",
      "tags": [
        "comparative"
      ]
    },
    {
      "form": "most sequent",
      "tags": [
        "superlative"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "sequent (comparative more sequent, superlative most sequent)",
      "name": "en-adj"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "adj",
  "related": [
    {
      "word": "sequence"
    }
  ],
  "senses": [
    {
      "categories": [
        "English terms with obsolete senses",
        "English terms with quotations",
        "Quotation templates to be cleaned"
      ],
      "examples": [
        {
          "ref": "1860, James Thomson (B.V.), Two Sonnets",
          "text": "Why are your songs all wild and bitter sad\nAs funeral dirges with the orphans' cries?\nEach night since first the world was made hath had\nA sequent day to laugh it down the skies.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "That comes after in time or order; subsequent."
      ],
      "links": [
        [
          "after",
          "after"
        ],
        [
          "subsequent",
          "subsequent"
        ]
      ],
      "raw_glosses": [
        "(obsolete) That comes after in time or order; subsequent."
      ],
      "tags": [
        "obsolete"
      ]
    },
    {
      "categories": [
        "English terms with quotations",
        "English terms with rare senses",
        "Quotation templates to be cleaned"
      ],
      "examples": [
        {
          "ref": "1897, Henry James, What Maisie Knew",
          "text": "Maisie found herself clutched to her mother's breast and passionately sobbed and shrieked over, made the subject of a demonstration evidently sequent to some sharp passage just enacted.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "That follows on as a result, conclusion etc.; consequent to, on, upon."
      ],
      "links": [
        [
          "consequent",
          "consequent"
        ],
        [
          "to",
          "to#English"
        ],
        [
          "on",
          "on#English"
        ],
        [
          "upon",
          "upon#English"
        ]
      ],
      "raw_glosses": [
        "(now rare) That follows on as a result, conclusion etc.; consequent to, on, upon."
      ],
      "tags": [
        "archaic"
      ]
    },
    {
      "glosses": [
        "Recurring in succession or as a series; successive, consecutive."
      ],
      "links": [
        [
          "successive",
          "successive"
        ],
        [
          "consecutive",
          "consecutive"
        ]
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/ˈsiːkwənt/",
      "tags": [
        "UK"
      ]
    }
  ],
  "translations": [
    {
      "code": "bg",
      "lang": "Bulgarian",
      "roman": "sledvašt",
      "sense": "recurring in succession",
      "word": "следващ"
    },
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "recurring in succession",
      "word": "perättäinen"
    },
    {
      "code": "ru",
      "lang": "Russian",
      "roman": "poslédujuščij",
      "sense": "recurring in succession",
      "word": "после́дующий"
    },
    {
      "code": "ru",
      "lang": "Russian",
      "roman": "slédujuščij",
      "sense": "recurring in succession",
      "word": "сле́дующий"
    },
    {
      "code": "ru",
      "lang": "Russian",
      "roman": "posledovatelʹnyj",
      "sense": "recurring in succession",
      "word": "последовательный"
    }
  ],
  "word": "sequent"
}

{
  "categories": [
    "English 2-syllable words",
    "English adjectives",
    "English countable nouns",
    "English entries with incorrect language header",
    "English lemmas",
    "English nouns",
    "English terms borrowed from Middle French",
    "English terms derived from Latin",
    "English terms derived from Middle French",
    "English terms derived from Old French",
    "English terms derived from Proto-Indo-European",
    "English terms derived from the Proto-Indo-European root *sekʷ- (follow)",
    "English terms with IPA pronunciation"
  ],
  "derived": [
    {
      "word": "hypersequent"
    },
    {
      "word": "sequent calculus"
    }
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "ine-pro",
        "3": "*sekʷ-",
        "id": "follow"
      },
      "expansion": "",
      "name": "root"
    },
    {
      "args": {
        "1": "en",
        "2": "frm",
        "3": "sequent"
      },
      "expansion": "Middle French sequent",
      "name": "bor"
    },
    {
      "args": {
        "1": "en",
        "2": "fro",
        "3": "sequent"
      },
      "expansion": "Old French sequent",
      "name": "der"
    },
    {
      "args": {
        "1": "en",
        "2": "la",
        "3": "sequentem"
      },
      "expansion": "Latin sequentem",
      "name": "der"
    },
    {
      "args": {
        "1": "la",
        "2": "sequī",
        "3": "",
        "4": "to follow"
      },
      "expansion": "sequī (“to follow”)",
      "name": "m"
    }
  ],
  "etymology_text": "1550s; borrowed from Middle French sequent, from Old French sequent, itself borrowed from Latin sequentem, present participle of sequī (“to follow”).",
  "forms": [
    {
      "form": "sequents",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "sequent (plural sequents)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English terms with quotations",
        "Quotation templates to be cleaned"
      ],
      "examples": [
        {
          "ref": "1946, Bertrand Russell, History of Western Philosophy, I.30",
          "text": "The One is somewhat shadowy. It is sometimes called God, sometimes the Good; it transcends Being, which is the first sequent upon the One.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "Something that follows in a given sequence."
      ],
      "links": [
        [
          "sequence",
          "sequence"
        ]
      ]
    },
    {
      "categories": [
        "en:Logic"
      ],
      "examples": [
        {
          "text": "A sequent a,b⊢c,d could be interpreted to correspond to an Existential Graph, whose expression in Existential Graph Interchange Format would be\n~[(a) (b) ~[(c)] ~[(d)]], which in ordinary language could be expressed as \"a and b give c or d\"."
        }
      ],
      "glosses": [
        "A disjunctive set of logical formulae which is partitioned into two subsets; the first subset, called the antecedent, consists of formulae which are valuated as false, and the second subset, called the succedent, consists of formulae which are valuated as true. (The set is written without set brackets and the separation between the two subsets is denoted by a turnstile symbol, which may be read \"give(s)\".)"
      ],
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "disjunctive",
          "disjunctive"
        ],
        [
          "partitioned",
          "partition"
        ],
        [
          "antecedent",
          "antecedent"
        ],
        [
          "succedent",
          "succedent"
        ],
        [
          "turnstile",
          "turnstile"
        ]
      ],
      "raw_glosses": [
        "(logic) A disjunctive set of logical formulae which is partitioned into two subsets; the first subset, called the antecedent, consists of formulae which are valuated as false, and the second subset, called the succedent, consists of formulae which are valuated as true. (The set is written without set brackets and the separation between the two subsets is denoted by a turnstile symbol, which may be read \"give(s)\".)"
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    },
    {
      "categories": [
        "English terms with obsolete senses"
      ],
      "glosses": [
        "A follower."
      ],
      "links": [
        [
          "follower",
          "follower"
        ]
      ],
      "raw_glosses": [
        "(obsolete) A follower."
      ],
      "tags": [
        "obsolete"
      ]
    },
    {
      "categories": [
        "en:Mathematics"
      ],
      "glosses": [
        "A sequential calculus"
      ],
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "sequential",
          "sequential"
        ],
        [
          "calculus",
          "calculus"
        ]
      ],
      "raw_glosses": [
        "(mathematics) A sequential calculus"
      ],
      "topics": [
        "mathematics",
        "sciences"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "/ˈsiːkwənt/",
      "tags": [
        "UK"
      ]
    }
  ],
  "translations": [
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "something that follows",
      "word": "seuraus"
    },
    {
      "code": "ru",
      "lang": "Russian",
      "roman": "elemént posledovatelʹnosti",
      "sense": "something that follows",
      "word": "элеме́нт последовательности"
    },
    {
      "code": "fi",
      "lang": "Finnish",
      "sense": "logic",
      "word": "seuraus"
    }
  ],
  "word": "sequent"
}