Relation | ![]() |
appearance as argument number 1 |
![]() |
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation) | Merge.kif 2106-2107 | |
(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 2111-2115 | |
(partition Relation Predicate Function) | Merge.kif 2108-2108 | |
(partition Relation TotalValuedRelation PartialValuedRelation) | Merge.kif 2109-2109 | |
(subclass Relation Abstract) | Merge.kif 2105-2105 |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain applicableRelation 2 Relation) | Mid-level-ontology.kif 30768-30768 | |
(domain disjointRelation 1 Relation) | Merge.kif 410-410 | |
(domain disjointRelation 2 Relation) | Merge.kif 411-411 | |
(domain domain 1 Relation) | Merge.kif 206-206 | |
(domain domainSubclass 1 Relation) | Merge.kif 228-228 | |
(domain exactCardinality 1 Relation) | Media.kif 2067-2067 | |
(domain maxCardinality 1 Relation) | Media.kif 2185-2185 | |
(domain minCardinality 1 Relation) | Media.kif 2149-2149 | |
(domain subrelation 1 Relation) | Merge.kif 169-169 | |
(domain subrelation 2 Relation) | Merge.kif 170-170 | |
(domain valence 1 Relation) | Merge.kif 359-359 |
appearance as argument number 4 |
![]() |
(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) | Merge.kif 1616-1616 |
![]() |
![]() |