BeginNodeFn |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(format ChineseLanguage BeginNodeFn "%1 的开端") | chinese_format.kif 765-765 | |
(format EnglishLanguage BeginNodeFn "the beginning of %1") | english_format.kif 765-765 | |
(termFormat ChineseLanguage BeginNodeFn "开始节点") | domainEnglishFormat.kif 10580-10580 | |
(termFormat ChineseLanguage BeginNodeFn "节点开端函数") | chinese_format.kif 766-766 | |
(termFormat ChineseTraditionalLanguage BeginNodeFn "開始節點") | domainEnglishFormat.kif 10579-10579 | |
(termFormat EnglishLanguage BeginNodeFn "begin node") | domainEnglishFormat.kif 10578-10578 |
antecedent |
![]() |
(=> (and (equal (BeginNodeFn ?GRAPH) ?NODE) (equal (EndNodeFn ?GRAPH) ?NODE)) (instance ?GRAPH GraphCircuit)) |
Merge.kif 5663-5667 |
|
consequent |
![]() |
![]() |
![]() |