| Relation | |
| appearance as argument number 1 |
|
|
| (disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) | Merge.kif 2116-2117 | |
| (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 2121-2125 | |
| (partition Relation Predicate Function) | Merge.kif 2118-2118 | |
| (partition Relation TotalValuedRelation PartialValuedRelation) | Merge.kif 2119-2119 | |
| (subclass Relation Abstract) | Merge.kif 2115-2115 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain disjointRelation 1 Relation) | Merge.kif 412-412 | |
| (domain disjointRelation 2 Relation) | Merge.kif 413-413 | |
| (domain domain 1 Relation) | Merge.kif 208-208 | |
| (domain domainSubclass 1 Relation) | Merge.kif 230-230 | |
| (domain exactCardinality 1 Relation) | Media.kif 2069-2069 | |
| (domain maxCardinality 1 Relation) | Media.kif 2193-2193 | |
| (domain minCardinality 1 Relation) | Media.kif 2156-2156 | |
| (domain subrelation 1 Relation) | Merge.kif 171-171 | |
| (domain subrelation 2 Relation) | Merge.kif 172-172 | |
| (domain valence 1 Relation) | Merge.kif 361-361 |
| appearance as argument number 4 |
|
|
| (disjointDecomposition Abstract Quantity Attribute Relation Proposition List) | Merge.kif 1626-1626 |
|
|
|