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 5570-5573
(domain InitialNodeFn 1 GraphArc) Merge.kif 5567-5567 domain InitialNodeFn, 1 and GraphArc
(instance InitialNodeFn PartialValuedRelation) Merge.kif 5566-5566 instance InitialNodeFn and PartialValuedRelation
(instance InitialNodeFn UnaryFunction) Merge.kif 5565-5565 instance InitialNodeFn and UnaryFunction
(range InitialNodeFn GraphNode) Merge.kif 5568-5568 range InitialNodeFn and GraphNode

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 764-764
(relatedInternalConcept BeginNodeFn InitialNodeFn) Merge.kif 5589-5589 relatedInternalConcept BeginNodeFn and InitialNodeFn
(termFormat ChineseLanguage InitialNodeFn "初始节点") domainEnglishFormat.kif 30019-30019
(termFormat ChineseLanguage InitialNodeFn "节点起点函数") chinese_format.kif 762-762
(termFormat ChineseTraditionalLanguage InitialNodeFn "初始節點") domainEnglishFormat.kif 30018-30018
(termFormat EnglishLanguage InitialNodeFn "initial node") domainEnglishFormat.kif 30017-30017

antecedent
-------------------------


(=>
    (and
        (equal
            (InitialNodeFn ?ARC) ?NODE)
        (equal
            (TerminalNodeFn ?ARC) ?NODE))
    (instance ?ARC GraphLoop))
Merge.kif 5509-5513

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 5348-5356
(=>
    (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 5399-5409


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners