Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InitialNodeFn
InitialNodeFn

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 5694-5697
(domain InitialNodeFn 1 GraphArc) Merge.kif 5691-5691
(instance InitialNodeFn PartialValuedRelation) Merge.kif 5690-5690
(instance InitialNodeFn UnaryFunction) Merge.kif 5689-5689
(range InitialNodeFn GraphNode) Merge.kif 5692-5692

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 5713-5713
(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 5633-5637

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 5472-5480
(=>
    (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 5523-5533


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners