Relation
|
|
appearance as argument number 1 |
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) | Merge.kif 2160-2161 | 関係 は 2項関係, 三進法関係, 4変数関係, 5進法関係, + 可変項数関係 に disjointly decomposed %n |
(documentation Relation ChineseLanguage "这是关系的 Class。现有三类的 Relation: Predicate, Function 和 List。 Predicate 和Function 皆表示有序的n元组集合, 这两个 Class 的差别在于 Predicate 包括组成公式的运算符,而Function 则包括组成 术语的运算符,而一个 List 却是一个特定的有序n元组。") | chinese_format.kif 1816-1819 | |
(documentation Relation EnglishLanguage "The Class of relations. There are two kinds of Relation: Predicate and Function. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators. ") | Merge.kif 2165-2169 | |
(documentation Relation JapaneseLanguage "関係の Class。Relation には、Predicate、 Function、と List の3種類がある。 %Predicate と Function の両方が、順序付けされた n タプ ルのセットを示す。これら2つの Class の違いは、Predicate カバー式形成演算子、Function カ バー用語形成演算子である。一方、List は特定の順序付けされた n タプルである。") | japanese_format.kif 434-437 | |
(partition Relation Predicate Function) | Merge.kif 2162-2162 | 関係 は 述語 + 関数 に exhaustively partitioned %n |
(partition Relation TotalValuedRelation PartialValuedRelation) | Merge.kif 2163-2163 | 関係 は 合計値関係 + 部分的価値関係 に exhaustively partitioned %n |
(subclass Relation Abstract) | Merge.kif 2159-2159 | 関係 は 抽象的な の subclass では %n |
appearance as argument number 2 |
appearance as argument number 3 |
appearance as argument number 4 |
(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) | Merge.kif 1670-1670 | 抽象的な は 量, 属性, 関係, 命題, + リスト に disjointly decomposed %n |