ChukotkoKamchatkanLanguage
|
|
Sigma KEE - LogicalOperator
LogicalOperator
|
この Class は、すべての論理演算子 (viz.'と'or''、'ではない''、'=>'、および '<=>') で構成される。
|
Relationships
|
|
|
|
Parents |
述語 |
A Predicate is a sentence-forming Relation. Each tuple in the Relation is a finite, ordered sequence of objects. The fact that a particular tuple is an element of a Predicate is denoted by '(*predicate* arg_1 arg_2 .. arg_n)', where the arg_i are the objects so related. In the case of BinaryPredicates, the fact can be read as `arg_1 is *predicate* arg_2' or `a *predicate* of arg_1 is arg_2'.
|
Show full definition (without tree view)
Show full definition (with tree view)
|