单项选择题 命题是可以判断真假的（）

单项选择题 语义网络表达知识时，有向弧AKO链、ISA链是用来表达节点知识的（）。

单项选择题 反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。