links |
appearance as argument number 1 |
![]() |
(documentation links ChineseLanguage "这是一个 TernaryPredicate, 它指定联系两个 GraphNode 的 GraphArc。") | chinese_format.kif 2347-2348 | |
(documentation links EnglishLanguage "a TernaryPredicate that specifies the GraphArc connecting two GraphNodes.") | Merge.kif 5565-5566 | |
(domain links 1 GraphNode) | Merge.kif 5561-5561 | domain links, 1 and GraphNode |
(domain links 2 GraphNode) | Merge.kif 5562-5562 | domain links, 2 and GraphNode |
(domain links 3 GraphArc) | Merge.kif 5563-5563 | domain links, 3 and GraphArc |
(instance links TernaryPredicate) | Merge.kif 5560-5560 | instance links and TernaryPredicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage links "%3 %n{doesn't} links %1 和 %2") | chinese_format.kif 747-747 | |
(format EnglishLanguage links "%3 %n{doesn't} link%p{s} %1 and %2") | english_format.kif 752-752 | |
(termFormat ChineseLanguage links "连接") | chinese_format.kif 748-748 | |
(termFormat ChineseLanguage links "链接") | domainEnglishFormat.kif 34483-34483 | |
(termFormat ChineseTraditionalLanguage links "鏈接") | domainEnglishFormat.kif 34482-34482 | |
(termFormat EnglishLanguage links "links") | domainEnglishFormat.kif 34481-34481 |
antecedent |
![]() |
(=> (links ?NODE1 ?NODE2 ?ARC) (links ?NODE2 ?NODE1 ?ARC)) |
Merge.kif 5568-5570 |
consequent |
![]() |
![]() |
![]() |