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 5878-5879 | |
(documentation links JapaneseLanguage "TernaryPredicate は、2つの GraphNode を接続してい る GraphArc を指定する 。") | japanese_format.kif 1022-1023 | |
(domain links 1 GraphNode) | Merge.kif 5874-5874 | Il numero 1 argomenti di links è un istanza di NodoDelGrafo |
(domain links 2 GraphNode) | Merge.kif 5875-5875 | Il numero 2 argomenti di links è un istanza di NodoDelGrafo |
(domain links 3 GraphArc) | Merge.kif 5876-5876 | Il numero 3 argomenti di links è un istanza di arco del grafo |
(instance links TernaryPredicate) | Merge.kif 5873-5873 | links è un' istanza di PredicatoTernario |
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 749-749 | |
(format FrenchLanguage links "%3 %n{ne} lie %n{pas} %1 et %2") | french_format.kif 451-451 | |
(format ItalianLanguage links "%3 %n{non} lega%p{s} %1 e %2") | relations-it.txt 165-165 | |
(format JapaneseLanguage links "%3 は %1 と %2 を link%p{s} %n{ない}") | japanese_format.kif 2159-2159 | |
(format PortugueseLanguage links "%3 %n{nao} liga %n %1 e %2") | portuguese_format.kif 403-403 | |
(format cz links "%3 %n{ne}spojuje %1 a %2") | relations-cz.txt 464-464 | |
(format de links "%3 verbindet %1 und %2 %n{nicht}") | relations-de.txt 963-963 | |
(format hi links "%3 %1 aura %2 ko %n{nahiin} jodataa hai") | relations-hindi.txt 204-204 | |
(format ro links "%3 %n{nu} link%t{leagã} %1 ºi %2") | relations-ro.kif 473-473 | |
(format sv links "%3 länkar %n{inte} ihop %1 och %2") | relations-sv.txt 516-516 | |
(format tg links "%3 %n ay ikabit %1 at %2") | relations-tg.txt 329-329 | |
(termFormat ChineseLanguage links "连接") | chinese_format.kif 748-748 | |
(termFormat ChineseLanguage links "链接") | domainEnglishFormat.kif 34559-34559 | |
(termFormat ChineseTraditionalLanguage links "鏈接") | domainEnglishFormat.kif 34558-34558 | |
(termFormat EnglishLanguage links "links") | domainEnglishFormat.kif 34557-34557 | |
(termFormat tg links "ikabit") | relations-tg.txt 330-330 |
antecedent |
(=> (and (graphPart ?ARC1 ?GRAPH) (graphPart ?ARC2 ?GRAPH) (graphPart ?NODE1 ?GRAPH) (graphPart ?NODE2 ?GRAPH) (links ?NODE1 ?NODE2 ?ARC1) (links ?NODE1 ?NODE2 ?ARC2) (not (equal ?ARC1 ?ARC2))) (instance ?GRAPH MultiGraph)) |
Merge.kif 5791-5800 |
|
(=> (links ?NODE ?NODE ?LOOP) (instance ?LOOP GraphLoop)) |
Merge.kif 5863-5865 | |
(=> (links ?NODE1 ?NODE2 ?ARC) (links ?NODE2 ?NODE1 ?ARC)) |
Merge.kif 5881-5883 |
consequent |