26讨论了三种时间逻辑方法:一阶谓词演算,模态逻辑及具体化逻辑。
27此外,Turtle用分号(;)表示后续行中的谓词和宾语使用相同的主语。
28有了以上的统计数据和谓词分析,您应该清楚了解要收集哪些统计数据。
29从句法功能看,非范畴化程度高的名词可以作谓词,定语,状语,表语。
300. 使用谓词演算来进行知识的表示和推理,能代表实际应用中的许多问题。
31要注意,可能的话最好使用已有的谓词,这里使用了FOAF本体的一些词汇表。
32传统逻辑中专名和限定摹状词都是单独概念,在谓词逻辑中则被称为个体词。
33换句话说,就是通过引入相应的谓词,将二元关系的性质用逻辑公式来表示。
34参数标记(由问号字符(?)表示)取代硬编码的谓词值,以带来更大的灵活性。
35实例分析表明,基于SAT的谓词抽象技术是一种构造程序抽象模型更高效的方法。
36如果你希望使用一个不同的等同性谓词,你也需要使用一个相匹配的散列函数。
37下推到嵌套表表达式或物化视图而不会改变结果,并且不是由DB2自动完成的谓词。
38通常,我们一提到判断,首先会想到判断中具有独立性的两极端(主词和谓词)。
39同语句是一种常见的语言现象,体词、谓词、加词等可以有条件出现在它的主宾位上.
40在WHERE子句中应用了三个谓词,如果假设它们是独立的话,会导致优化器低估基数。
41总而言之,XMLQUERY函数中的谓词只应用于每个XML值当中,所以它们不会排除任何行。
42对于这些分布统计信息,只考虑对拥有选择谓词的最重要的查询而言最为重要的列。
43本文力求全面研究《金瓶梅》称谓词,为称谓词的断代和宏观研究提供基本的资料。
44主词,谓词,受词都是实体的名称。实体在真实世界中,可以是具体的或是抽象的。
45必须在管理控制台中为此谓词启用组工作项,因为在缺省情况下组工作项是被禁用的。
46应此体词后面到底填写主格助词还是宾格助词取决于后面的谓词是他动词还是自动词。
47以为,主词是一实物或独立的规定,谓词是普遍的规定,在主词之外,存在于脑子中。
48所以,为了避免一些繁琐的重复代码,本库定义了一些谓词用于在比较前应用间接性。
49这种所谓词尾不是可依赖词的最高负荷部分,因为目标-问题-实物中只有一个词影响大。
50必须情景参与者在相应谓词的词典释文或元语言释文中对应的变元叫做谓词的语义配价。
造句大全为您提供谓词造句大全,谓词造句,关于谓词的句子,谓词怎么造句,谓词造句大全有哪些,哪些句子是关于谓词,谓词的句子,谓词如何造句,描写的谓词造句,谓词怎么句子等。