![]() |
![]() ![]() ![]()
|
![]() |
|
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 2175-2177 | |
(subclass BinaryRelation InheritableRelation) | Merge.kif 2173-2173 | Binary relation is a subclass of inheritable relation |
(subclass BinaryRelation Relation) | Merge.kif 2172-2172 | Binary relation is a subclass of relation |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain equivalenceRelationOn 1 BinaryRelation) | Merge.kif 3633-3633 | The number 1 argument of equivalence relation on is an instance of binary relation |
(domain inverse 1 BinaryRelation) | Merge.kif 109-109 | The number 1 argument of inverse is an instance of binary relation |
(domain inverse 2 BinaryRelation) | Merge.kif 110-110 | The number 2 argument of inverse is an instance of binary relation |
(domain partialOrderingOn 1 BinaryRelation) | Merge.kif 3570-3570 | The number 1 argument of partial ordering on is an instance of binary relation |
(domain reflexiveOn 1 BinaryRelation) | Merge.kif 3531-3531 | The number 1 argument of reflexive on is an instance of binary relation |
(domain totalOrderingOn 1 BinaryRelation) | Merge.kif 3587-3587 | The number 1 argument of total ordering on is an instance of binary relation |
(domain trichotomizingOn 1 BinaryRelation) | Merge.kif 3609-3609 | The number 1 argument of trichotomizing on is an instance of binary relation |
![]() |
![]() |