Two graphical methods used in first-order predicate logical reasoning, that is goal-guiding graphical reasoning method and transition frame graphical reasoning method, are presented.
提出了两种用于一阶谓词逻辑推理的图形方法：目标制导的图形推理法和变迁框图形推理法。
Semantically, the logical relation and the semantic interaction between the subject and the predicate of a nominal sentence appear in form of "Class", which serve...
从语义角度说，体谓句中主谓两部分的逻辑关系、语义制约，以类的形式出现，是句子赖以存在的基础。
The so-called meaning is restricted by the gene of the so-called, which can be divided into four parts and understood in predicate logical radicals.
所谓的意义受所谓基因的制约，所谓的基因就是交织在它本身内的几个构字部件。
A predicate is something that is said about an argument or it states the logical relation linking the arguments in a sentence.
谓词谈及的是论元，或者说它说明的是句子中联系论元的逻辑关系。
In both languages, if the causee is a person, the logical subjects of the predicate are the causer and causee.
在日韩使役文中，当被使役者为有情物时，使役者和被使役者一般都以“动作主体”的形式出现。
In both languages, if the causee is a person, the logical subjects of the predicate are the causer and causee.
在日韩使役文中，当被使役者为有情物时，使役者和被使役者一般都以“动作主体”的形式出现。
应用推荐