单项选择题
1997年５月，著名的“人机大战”，最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（）
单项选择题 仅个体变元被量化的谓词称为（）
单项选择题 命题是可以判断真假的（）
单项选择题 语义网络表达知识时，有向弧AKO链、ISA链是用来表达节点知识的（）。
