Subterm

定义 Definition

subterm（名词）：子术语 / 子项。指在某个更大术语、表达式或概念体系中从属于更大“项/术语（term）”的一部分，常见于计算机科学（如项重写、形式语言）、术语学/分类体系（如主题词表、分类法）等语境。

例句 Examples

A subterm can be replaced without changing the whole structure.
一个子项可以在不改变整体结构的情况下被替换。

In term rewriting, a rule may apply to a subterm deep inside an expression, producing a new form while preserving the surrounding context.
在项重写中，规则可能作用于表达式深层的某个子项，从而生成新形式，同时保留其周围的上下文结构。

发音 Pronunciation

/ˈsʌbˌtɝːm/

词源 Etymology

由前缀 **sub-**（“在下、次级、从属”）+ term（“术语；项；表达式中的项”）构成，字面意思是“从属的术语/项”，因此引申为“整体中的子部分（子项/子术语）”。

相关词 Related Words

• Component
• Expression
• Fragment
• Hypernym
• Hyponym
• Part
• Subexpression
• Term

文学与著作 Literary Works

• Term Rewriting and All That（Franz Baader & Tobias Nipkow）——在项重写与语法结构讨论中使用 subterm。
• Term Rewriting Systems（Terese）——系统讲解重写系统时频繁出现 subterm。
• Handbook of Automated Reasoning（Alan Robinson & Andrei Voronkov 编）——在自动推理、重写与归结相关章节中使用 subterm。