BinaryRelation | ![]() |
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 2147-2149 | |
(subclass BinaryRelation InheritableRelation) | Merge.kif 2145-2145 | subclass BinaryRelation and InheritableRelation |
(subclass BinaryRelation Relation) | Merge.kif 2144-2144 | subclass BinaryRelation and Relation |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain equivalenceRelationOn 1 BinaryRelation) | Merge.kif 3578-3578 | domain equivalenceRelationOn, 1 and BinaryRelation |
(domain inverse 1 BinaryRelation) | Merge.kif 110-110 | domain inverse, 1 and BinaryRelation |
(domain inverse 2 BinaryRelation) | Merge.kif 111-111 | domain inverse, 2 and BinaryRelation |
(domain irreflexiveOn 1 BinaryRelation) | Merge.kif 3502-3502 | domain irreflexiveOn, 1 and BinaryRelation |
(domain partialOrderingOn 1 BinaryRelation) | Merge.kif 3521-3521 | domain partialOrderingOn, 1 and BinaryRelation |
(domain reflexiveOn 1 BinaryRelation) | Merge.kif 3484-3484 | domain reflexiveOn, 1 and BinaryRelation |
(domain totalOrderingOn 1 BinaryRelation) | Merge.kif 3538-3538 | domain totalOrderingOn, 1 and BinaryRelation |
(domain trichotomizingOn 1 BinaryRelation) | Merge.kif 3554-3554 | domain trichotomizingOn, 1 and BinaryRelation |
![]() |
![]() |