EndNodeFn |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(format ChineseLanguage EndNodeFn "%1 的末端") | chinese_format.kif 767-767 | |
(format EnglishLanguage EndNodeFn "the end of %1") | english_format.kif 767-767 | |
(format FrenchLanguage EndNodeFn "la fin de %1") | french_format.kif 463-463 | |
(format ItalianLanguage EndNodeFn "la fine di %1") | relations-it.txt 93-93 | |
(format JapaneseLanguage EndNodeFn "%1 の end") | japanese_format.kif 2167-2167 | |
(format PortugueseLanguage EndNodeFn "o fim de %1") | portuguese_format.kif 415-415 | |
(format cz EndNodeFn "the end of %1") | relations-cz.txt 476-476 | |
(format de EndNodeFn "das ende von %1") | relations-de.txt 991-991 | |
(format hi EndNodeFn "%1 kaa antima-bindu") | relations-hindi.txt 133-133 | |
(format ro EndNodeFn "end{sfârºtul} lui %1") | relations-ro.kif 485-485 | |
(format sv EndNodeFn "slutet för %1") | relations-sv.txt 530-530 | |
(format tg EndNodeFn "ang dulo sa %1") | relations-tg.txt 201-201 | |
(termFormat ChineseLanguage EndNodeFn "结束节点") | domainEnglishFormat.kif 22048-22048 | |
(termFormat ChineseLanguage EndNodeFn "节点末端") | chinese_format.kif 768-768 | |
(termFormat ChineseTraditionalLanguage EndNodeFn "結束節點") | domainEnglishFormat.kif 22047-22047 | |
(termFormat EnglishLanguage EndNodeFn "end node") | domainEnglishFormat.kif 22046-22046 | |
(termFormat tg EndNodeFn "tungkulin ng dulo buko") | relations-tg.txt 202-202 |
antecedent |
![]() |
(=> (and (equal (BeginNodeFn ?GRAPH) ?NODE) (equal (EndNodeFn ?GRAPH) ?NODE)) (instance ?GRAPH GraphCircuit)) |
Merge.kif 5766-5770 |
|
consequent |
![]() |
![]() |
![]() |