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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InitialNodeFn

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 5662-5665
(domain InitialNodeFn 1 GraphArc) Merge.kif 5659-5659
(instance InitialNodeFn PartialValuedRelation) Merge.kif 5658-5658
(instance InitialNodeFn UnaryFunction) Merge.kif 5657-5657
(range InitialNodeFn GraphNode) Merge.kif 5660-5660

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 5681-5681
(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 5603-5607

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 5442-5450
(=>
    (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 5493-5503


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

Show without tree


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