()表示动作的量。 A.名量词B.时量词C.动量词D.形量词
下列语言材料充当宾语或补语会引起宾补划界问题的是( )。 A、名词性词语B、谓词性词语C、含名量的量词短语D、表时间的量词短语
在SQL的查询语句中,谓词“EXISTS”的含义是( )。 A、全称量词B、存在量词C、自然连接D、等值连接
仅个体变元被量化的谓词称为() A.一阶谓词B.原子公式C.二阶谓词D.全称量词
在SQL语句中，谓词“EXISTS”的含义是（）A、全程量词B、存在量词C、自然连接D、等值连接
在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）变元。
仅个体变元被量化的谓词称为（）A、一阶谓词B、原子公式C、二阶谓词D、全称量词
在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。
专用名量词可以分为（）三类。A、集体量词B、时量量词C、度量衡量词D、个体量词
在SQL嵌套查询中，量词ANY和量词（）执行效果是一样的。A、ALLB、SOMEC、MANYD、LOT
下列词类从大类到小类的归类，不正确的是（）A、实词—谓词—动词—及物动词B、实词—体词—名词—处所名词C、实词—谓词—助词—时态助词D、实词—体词—量词—名量词
（）表示动作的量。A、名量词B、动量词C、时量词D、形量词
下列哪种词类是谓词？（）A、区别词B、副词C、量词D、形容词
单选题下列词类从大类到小类的归类，不正确的是（）A实词—谓词—动词—及物动词B实词—体词—名词—处所名词C实词—谓词—助词—时态助词D实词—体词—量词—名量词
多选题基于规则的逆向演绎系统对事实、规则和目标的化简过程（）A用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束。B用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。C对规则的处理同（*）式。D用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。（*）
单选题（）表示动作的量。A名量词B动量词C时量词D形量词
多选题下列语言材料充当宾语或补语会引起宾补划界问题的是（）。A名词性词语B谓词性词语C含名量的量词短语D表时间的量词短语
单选题仅个体变元被量化的谓词称为（）A一阶谓词B原子公式C二阶谓词D全称量词
多选题专用名量词可以分为（）三类。A集体量词B时量量词C度量衡量词D个体量词
单选题下列哪种词类是谓词？（）A区别词B副词C量词D形容词
填空题在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）变元。
单选题在SQL语句中，谓词“EXISTS”的含义是（）A全程量词B存在量词C自然连接D等值连接