| Relation(関係) | |
| appearance as argument number 1 |
|
|
| (disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) | Merge.kif 3515-3516 | 関係 は 2項関係, 三進法関係, 4変数関係, 5進法関係, + 可変項数関係 に disjointly decomposed %n |
| (documentation Relation ChineseLanguage "这是关系的 Class。现有三类的 Relation: Predicate， Function 和 List。 Predicate 和Function 皆表示有序的n元组集合， 这两个 Class 的差别在于 Predicate 包括组成公式的运算符，而Function 则包括组成 术语的运算符，而一个 List 却是一个特定的有序n元组。") | Merge.kif 3526-3529 | |
| (documentation Relation EnglishLanguage "The Class of relations. There are three kinds of Relation: Predicate, Function, and List. 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. A List, on the other hand, is a particular ordered n-tuple.") | Merge.kif 3519-3524 | |
| (documentation Relation JapaneseLanguage "関係の Class。Relation には、Predicate、 Function、と List の3種類がある。 %Predicate と Function の両方が、順序付けされた n タプ ルのセットを示す。これら2つの Class の違いは、Predicate カバー式形成演算子、Function カ バー用語形成演算子である。一方、List は特定の順序付けされた n タプルである。") | Merge.kif 3531-3534 | |
| (partition Relation Predicate Function List) | Merge.kif 3516-3516 | 関係 は 述語, 関数, + リスト に exhaustively partitioned %n |
| (partition Relation TotalValuedRelation PartialValuedRelation) | Merge.kif 3517-3517 | 関係 は 合計値関係 + 部分的価値関係 に exhaustively partitioned %n |
| (subclass Relation Abstract) | Merge.kif 3514-3514 | 関係 は 抽象的な の subclass では %n |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain disjointRelation 1 Relation) | Merge.kif 611-611 | disjointRelation の数値 1 引数は 関係 の instance では %n |
| (domain disjointRelation 2 Relation) | Merge.kif 612-612 | disjointRelation の数値 2 引数は 関係 の instance では %n |
| (domain domain 1 Relation) | Merge.kif 288-288 | domain の数値 1 引数は 関係 の instance では %n |
| (domain domainSubclass 1 Relation) | Merge.kif 336-336 | domainSubclass の数値 1 引数は 関係 の instance では %n |
| (domain exactCardinality 1 Relation) | Media.kif 2071-2071 | exactCardinality の数値 1 引数は 関係 の instance では %n |
| (domain maxCardinality 1 Relation) | Media.kif 2189-2189 | maxCardinality の数値 1 引数は 関係 の instance では %n |
| (domain minCardinality 1 Relation) | Media.kif 2153-2153 | minCardinality の数値 1 引数は 関係 の instance では %n |
| (domain subrelation 1 Relation) | Merge.kif 234-234 | subrelation の数値 1 引数は 関係 の instance では %n |
| (domain subrelation 2 Relation) | Merge.kif 235-235 | subrelation の数値 2 引数は 関係 の instance では %n |
| (domain valence 1 Relation) | Merge.kif 511-511 | valence の数値 1 引数は 関係 の instance では %n |
| appearance as argument number 5 |
|
|
| (disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition) | Merge.kif 2693-2693 | 抽象的な は 量, 属性, 同じセットまたはクラス, 関係, + 命題 に disjointly decomposed %n |
| consequent |
|
|
| (<=> (and (instance ?REL TotalValuedRelation) (instance ?REL Predicate)) (exists (?VALENCE) (and (instance ?REL Relation) (valence ?REL ?VALENCE) (=> (forall (?NUMBER ?ELEMENT ?CLASS) (=> (and (lessThan ?NUMBER ?VALENCE) (domain ?REL ?NUMBER ?CLASS) (equal ?ELEMENT (ListOrderFn (ListFn @ROW) ?NUMBER))) (instance ?ELEMENT ?CLASS))) (exists (?ITEM) (?REL @ROW ?ITEM)))))) |
Merge.kif 3588-3605 | 関係 は 合計値関係 の instance では %n 関係 は 述語 の instance では %n 正の整数 関係 は 関係 の instance では %n 関係 は 正の整数 の argument(s) を %&has %n{ない} |
|
|
|