起始節點函數 (InitialNodeFn)

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.

Ontology

SUMO / GRAPH-THEORY

Class(es)

種類

可繼承關係

一元函數

起始節點函數

Coordinate term(s)

絕對值函數描述函數弧餘弦弧正弦弧正切反面函數（時間）開始函數最初節點函數計數函數上限函數互補函數餘弦函數相交路徑函數單位函數（時間）結束函式最後節點函數範圍函數下限函數正面函數（時間）未來函式概化函數概化聯集函數十億計函數虛數函數最近未來時間函數最近過去時間函數整數平方根函數千計函數列長函數級數函數百萬計函數百萬分之一計函數千分之一計函數最小相交路徑函數奈米函數分子函數組織函數過去時間函式路徑量函數兆分之一計函數冪集合函數前數函數主體函數或然率函數特性函數有理數函數實數函數倒數函數整數函數正負號函數正弦函數表皮函數平方根函數後數函數正切函數兆計函數終節點函數財產函數存在時間函數年份函數

Type restrictions

圖節點 InitialNodeFn(圖弧線)

Axioms (4)

If graph 是有向圖的實例 and arc 是圖弧線的實例 and arc 是 graph 的部分, then there exist node1,node2 so that "arc 的 �_始節點" 等於 node1 and "arc 的最終�`點" 等於 node2.

(=>
      (and
            (instance ?GRAPH DirectedGraph)
            (instance ?ARC GraphArc)
            (graphPart ?ARC ?GRAPH))
      (exists
            (?NODE1 ?NODE2)
            (and
                  (equal
                        (InitialNodeFn ?ARC)
                        ?NODE1)
                  (equal
                        (TerminalNodeFn ?ARC)
                        ?NODE2))))

if graph 是圖路徑的實例 and arc 是圖弧線的實例 and arc 是 graph 的部分,
then if "arc 的 �_始節點" 等於 node, then there doesn't exist other so that "other 的 �_始節點" 等於 node and other 等於 arc

(=>
      (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)))))))

If "arc 的 �_始節點" 等於 node and "arc 的最終�`點" 等於 node, then arc 是圖迴圈的實例.

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

最初節點函數內部相關於起始節點函數.

(relatedInternalConcept BeginNodeFn InitialNodeFn)