| QuintaryRelation | |
| appearance as argument number 1 |
|
|
| (documentation QuintaryRelation ChineseLanguage "QuintaryRelation 连接物个项目。 QuintaryRelation 的两个 subclass 是 QuintaryPredicate 和 QuaternaryFunction。") | chinese_format.kif 1950-1951 | |
| (documentation QuintaryRelation EnglishLanguage "QuintaryRelations relate five items. The two subclasses of QuintaryRelation are QuintaryPredicate and QuaternaryFunction.") | Merge.kif 2760-2762 | |
| (subclass QuintaryRelation InheritableRelation) | Merge.kif 2758-2758 | subclass QuintaryRelation and InheritableRelation |
| (subclass QuintaryRelation Relation) | Merge.kif 2757-2757 | subclass QuintaryRelation and Relation |
| appearance as argument number 2 |
|
|
| (subclass QuaternaryFunction QuintaryRelation) | Merge.kif 3217-3217 | subclass QuaternaryFunction and QuintaryRelation |
| (subclass QuintaryPredicate QuintaryRelation) | Merge.kif 3267-3267 | subclass QuintaryPredicate and QuintaryRelation |
| (termFormat ChineseLanguage QuintaryRelation "五元关系") | chinese_format.kif 912-912 | termFormat ChineseLanguage, QuintaryRelation and "五元关系" |
| (termFormat EnglishLanguage QuintaryRelation "quintary relation") | english_format.kif 1036-1036 | termFormat EnglishLanguage, QuintaryRelation and "quintary relation" |
| appearance as argument number 5 |
|
|
|
|
|