| BinaryRelation(2項関係) | |
| appearance as argument number 1 |
|
|
| (documentation BinaryRelation ChineseLanguage " BinaryRelation 是只有在关系联系两样东西的时候 才算是真，框架理论以槽代表 BinaryRelation。") | chinese_format.kif 1831-1832 | |
| (documentation BinaryRelation EnglishLanguage "BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.") | Merge.kif 2246-2248 | |
| (documentation BinaryRelation JapaneseLanguage "BinaryRelation は relation で、 それは ペアのもののみ当てはまる。 BinaryRelation は、フレームシステムのスロットとして表される。") | japanese_format.kif 451-452 | |
| (subclass BinaryRelation InheritableRelation) | Merge.kif 2244-2244 | 2項関係 は InheritableRelation の subclass では |
| (subclass BinaryRelation Relation) | Merge.kif 2243-2243 | 2項関係 は 関係 の subclass では |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain equivalenceRelationOn 1 BinaryRelation) | Merge.kif 3720-3720 | equivalenceRelationOn の数値 1 引数は 2項関係 の instance では |
| (domain inverse 1 BinaryRelation) | Merge.kif 111-111 | inverse の数値 1 引数は 2項関係 の instance では |
| (domain inverse 2 BinaryRelation) | Merge.kif 112-112 | inverse の数値 2 引数は 2項関係 の instance では |
| (domain partialOrderingOn 1 BinaryRelation) | Merge.kif 3657-3657 | partialOrderingOn の数値 1 引数は 2項関係 の instance では |
| (domain reflexiveOn 1 BinaryRelation) | Merge.kif 3618-3618 | reflexiveOn の数値 1 引数は 2項関係 の instance では |
| (domain totalOrderingOn 1 BinaryRelation) | Merge.kif 3674-3674 | totalOrderingOn の数値 1 引数は 2項関係 の instance では |
| (domain trichotomizingOn 1 BinaryRelation) | Merge.kif 3696-3696 | trichotomizingOn の数値 1 引数は 2項関係 の instance では |
|
|
|