InitialNodeFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation InitialNodeFn ChineseLanguage "这是一个 UnaryFunction，它把一个 GraphArc 和这个 GraphArc的始点联系起来。注：这是一个部分函数，特别是当 GraphArc 不属于 DirectedGraph 时，这会是个为定义的函数。")	chinese_format.kif 2356-2358
(documentation InitialNodeFn EnglishLanguage "A UnaryFunction that maps a GraphArc to the initial node of the GraphArc. Note that this is a partial function. In particular, the function is undefined for GraphArcs that are not part of a DirectedGraph.")	Merge.kif 5823-5826
(domain InitialNodeFn 1 GraphArc)	Merge.kif 5820-5820	节点起点函数的 1 数量是图弧的 instance
(instance InitialNodeFn PartialValuedRelation)	Merge.kif 5819-5819	节点起点函数是部分值关系的 instance
(instance InitialNodeFn UnaryFunction)	Merge.kif 5818-5818	节点起点函数是一元函数的 instance
(range InitialNodeFn GraphNode)	Merge.kif 5821-5821	节点起点函数的 range 是图节点的实例

appearance as argument number 2

(format ChineseLanguage InitialNodeFn "%1 节点的起点")	chinese_format.kif 761-761
(format EnglishLanguage InitialNodeFn "the starting node of %1")	english_format.kif 761-761
(relatedInternalConcept BeginNodeFn InitialNodeFn)	Merge.kif 5842-5842	节点开端函数和节点起点函数是内部相关
(termFormat ChineseLanguage InitialNodeFn "初始节点")	domainEnglishFormat.kif 30108-30108
(termFormat ChineseLanguage InitialNodeFn "节点起点函数")	chinese_format.kif 762-762
(termFormat ChineseTraditionalLanguage InitialNodeFn "初始節點")	domainEnglishFormat.kif 30107-30107
(termFormat EnglishLanguage InitialNodeFn "initial node")	domainEnglishFormat.kif 30106-30106

antecedent

(=>
    (and
        (equal
            (InitialNodeFn ?ARC) ?NODE)
        (equal
            (TerminalNodeFn ?ARC) ?NODE))
    (instance ?ARC GraphLoop))

Merge.kif 5764-5768

consequent

(=> (and (instance ?GRAPH DirectedGraph) (instance ?ARC GraphArc) (graphPart ?ARC ?GRAPH)) (exists (?NODE1 ?NODE2) (and (equal (InitialNodeFn ?ARC) ?NODE1) (equal (TerminalNodeFn ?ARC) ?NODE2))))	Merge.kif 5575-5583	如果图是有向图的 instance 和图弧是图弧的 instance 和那个图弧是那个图的 part，然后有存在图节点和另一个图节点这样那个图弧节点的起点 equal 那个图节点和那个图弧节点的终点 equal 那个另外图节点
(=> (and (instance ?GRAPH GraphPath) (instance ?ARC GraphArc) (graphPart ?ARC ?GRAPH)) (=> (equal (InitialNodeFn ?ARC) ?NODE) (not (exists (?OTHER) (and (equal (InitialNodeFn ?OTHER) ?NODE) (not (equal ?OTHER ?ARC)))))))	Merge.kif 5626-5636	如果图是图路径的 instance 和图弧是图弧的 instance 和那个图弧是那个图的 part，然后如果那个图弧节点的起点 equal 图节点，然后不存在另一个图弧这样那个另外图弧节点的起点 equal 那个图节点和那个另外图弧不 equal 那个图弧