介绍 Introduction
动词之间具有蕴涵关系（entailment）是造成不同语句之间具有语义推理关系（inference）的重要因素。在自然语言中，相同意义可以用不同语句形式表达，一种语句表达的意义也可以从另一种语句上推断出来。
例如：a. Guerrillas killed John. ——主蕴涵语句 → b. John died. ——被蕴涵语句。在上例中，主蕴涵语句 a 蕴涵了被蕴涵语句 b；反过来说，被蕴涵语句 b 的意思可以从主蕴涵语句 a 上推导出来。这种不同语句之间的蕴涵关系叫做文本蕴涵（textual entailment）。
文本蕴涵在很大程度上是由于语句中核心动词之间具有蕴涵关系。例如：kill → die；buy → have；告诉 → 知道；打鼾 → 睡觉；密令 → 命令。“汉语动词蕴涵关系查询系统”提供汉语动词蕴涵型式的录入与查询功能，随着信息扩展，将能够为汉语词汇知识推理提供服务。