BeginNodeFn |
appearance as argument number 1 |
![]() |
(documentation BeginNodeFn ChineseLanguage "这是一个 UnaryFunction,它把一个 GraphPath 联系到 GraphPath 开端的 GraphNode。注:跟 InitialNodeFn 不同 (把一个 GraphArc 和一个 GraphNode 联系), BeginNodeFn 是一个总体的函数 - 每个 GraphPath 都有它的开端。") | chinese_format.kif 2362-2364 | |
(documentation BeginNodeFn EnglishLanguage "A UnaryFunction that maps a GraphPath to the GraphNode that is the beginning of the GraphPath. Note that, unlike InitialNodeFn (which relates a GraphArc to a GraphNode), BeginNodeFn is a total function - every GraphPath has a beginning.") | Merge.kif 5844-5847 | |
(domain BeginNodeFn 1 GraphPath) | Merge.kif 5840-5840 | 节点开端函数 的 1 数量 是 图路径 的 instance |
(instance BeginNodeFn TotalValuedRelation) | Merge.kif 5839-5839 | 节点开端函数 是 总值关系 的 instance |
(instance BeginNodeFn UnaryFunction) | Merge.kif 5838-5838 | 节点开端函数 是 一元函数 的 instance |
(range BeginNodeFn GraphNode) | Merge.kif 5841-5841 | 节点开端函数 的 range 是 图节点 的实例 |
(relatedInternalConcept BeginNodeFn InitialNodeFn) | Merge.kif 5842-5842 | 节点开端函数 和 节点起点函数 是 内部相关 |
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 |
![]() |
![]() |
![]() |