| Relation(关系) | |
| appearance as argument number 1 |
|
|
| (disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) | Merge.kif 2171-2172 | 关系 分拆成不相交的 二元关系, 三元关系, 四元关系, 五元关系, 和 不定次元关系 |
| (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 2176-2180 | 关系 分拆成不相交的 二元关系, 三元关系, 四元关系, 五元关系, 和 不定次元关系 |
| (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 2173-2173 | 关系 详尽无遗地 partition 成 谓语 和 函数 |
| (partition Relation TotalValuedRelation PartialValuedRelation) | Merge.kif 2174-2174 | 关系 详尽无遗地 partition 成 总值关系 和 部分值关系 |
| (subclass Relation Abstract) | Merge.kif 2170-2170 | 关系 是 抽象体 的 subclass |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain applicableRelation 2 Relation) | Mid-level-ontology.kif 33322-33322 | applicableRelation 的 2 数量 是 关系 的 instance |
| (domain disjointRelation 1 Relation) | Merge.kif 405-405 | 不相交关系 的 1 数量 是 关系 的 instance |
| (domain disjointRelation 2 Relation) | Merge.kif 406-406 | 不相交关系 的 2 数量 是 关系 的 instance |
| (domain domain 1 Relation) | Merge.kif 202-202 | 定义域 的 1 数量 是 关系 的 instance |
| (domain domainSubclass 1 Relation) | Merge.kif 224-224 | 子类别的定义域 的 1 数量 是 关系 的 instance |
| (domain exactCardinality 1 Relation) | Media.kif 2071-2071 | exactCardinality 的 1 数量 是 关系 的 instance |
| (domain maxCardinality 1 Relation) | Media.kif 2195-2195 | maxCardinality 的 1 数量 是 关系 的 instance |
| (domain minCardinality 1 Relation) | Media.kif 2158-2158 | minCardinality 的 1 数量 是 关系 的 instance |
| (domain subrelation 1 Relation) | Merge.kif 165-165 | 子关系 的 1 数量 是 关系 的 instance |
| (domain subrelation 2 Relation) | Merge.kif 166-166 | 子关系 的 2 数量 是 关系 的 instance |
| (domain valence 1 Relation) | Merge.kif 354-354 | 配价 的 1 数量 是 关系 的 instance |
| appearance as argument number 4 |
|
|
| (disjointDecomposition Abstract Quantity Attribute Relation Proposition List) | Merge.kif 1680-1680 | 抽象体 分拆成不相交的 数量, 属性, 关系, 命题, 和 串列 |
|
|
|