| BinaryRelation(binary relation) | | accession, association, base, basis, marital_bed, marital_relationship, relation |
| appearance as argument number 1 |
|
|
| (subclass BinaryRelation Relation) | Merge.kif 2267-2267 | Binary relation is a subclass of relation |
| (subclass BinaryRelation InheritableRelation) | Merge.kif 2268-2268 | Binary relation is a subclass of inheritable relation |
| (documentation BinaryRelation EnglishLanguage "BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.") | Merge.kif 2270-2272 | Binary relation is a subclass of inheritable relation |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain inverse 1 BinaryRelation) | Merge.kif 111-111 | The number 1 argument of inverse is an instance of binary relation |
| (domain inverse 2 BinaryRelation) | Merge.kif 112-112 | The number 2 argument of inverse is an instance of binary relation |
| (domain reflexiveOn 1 BinaryRelation) | Merge.kif 3642-3642 | The number 1 argument of reflexive on is an instance of binary relation |
| (domain partialOrderingOn 1 BinaryRelation) | Merge.kif 3681-3681 | The number 1 argument of partial ordering on is an instance of binary relation |
| (domain totalOrderingOn 1 BinaryRelation) | Merge.kif 3698-3698 | The number 1 argument of total ordering on is an instance of binary relation |
| (domain trichotomizingOn 1 BinaryRelation) | Merge.kif 3720-3720 | The number 1 argument of trichotomizing on is an instance of binary relation |
| (domain equivalenceRelationOn 1 BinaryRelation) | Merge.kif 3744-3744 | The number 1 argument of equivalence relation on is an instance of binary relation |
|
|
|