词语含义查询 · 在线释义
查询结果
huò ēn zi jù · ㄏㄨㄛˋ ㄣ ㄗ˙ ㄐㄩˋ
数据更新：2026-07-16 16:20:02
在数理逻辑中，霍恩子句（Horn Clause）是带有最多一个肯定文字的子句(文字的析取)。