BinaryRelation(Relacao Binaria) |
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 2235-2237 | |
(documentation BinaryRelation JapaneseLanguage "BinaryRelation は relation で、 それは ペアのもののみ当てはまる。 BinaryRelation は、フレームシステムのスロットとして表される。") | japanese_format.kif 451-452 | |
(subclass BinaryRelation InheritableRelation) | Merge.kif 2233-2233 | Relacao Binaria e' uma sub-classe de InheritableRelation |
(subclass BinaryRelation Relation) | Merge.kif 2232-2232 | Relacao Binaria e' uma sub-classe de Relacao |
appearance as argument number 2 |
appearance as argument number 3 |
(domain equivalenceRelationOn 1 BinaryRelation) | Merge.kif 3705-3705 | O argumento numero 1 de equivalenceRelationOn e' uma instancia de Relacao Binaria |
(domain inverse 1 BinaryRelation) | Merge.kif 111-111 | O argumento numero 1 de inverse e' uma instancia de Relacao Binaria |
(domain inverse 2 BinaryRelation) | Merge.kif 112-112 | O argumento numero 2 de inverse e' uma instancia de Relacao Binaria |
(domain partialOrderingOn 1 BinaryRelation) | Merge.kif 3642-3642 | O argumento numero 1 de partialOrderingOn e' uma instancia de Relacao Binaria |
(domain reflexiveOn 1 BinaryRelation) | Merge.kif 3603-3603 | O argumento numero 1 de reflexiveOn e' uma instancia de Relacao Binaria |
(domain totalOrderingOn 1 BinaryRelation) | Merge.kif 3659-3659 | O argumento numero 1 de totalOrderingOn e' uma instancia de Relacao Binaria |
(domain trichotomizingOn 1 BinaryRelation) | Merge.kif 3681-3681 | O argumento numero 1 de trichotomizingOn e' uma instancia de Relacao Binaria |