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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TerminalNodeFn
TerminalNodeFn

appearance as argument number 1
-------------------------


(documentation TerminalNodeFn ChineseLanguage "这是一个 UnaryFunction, 它把一个 GraphArc 和这个 GraphArc的终点联系起来。 注:这是一个部分函数,特别是当 GraphArc 不属于 DirectedGraph 时,这会是个为定义的函数。") chinese_format.kif 2359-2361
(documentation TerminalNodeFn EnglishLanguage "A UnaryFunction that maps a GraphArc to the terminal 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 5833-5836
(domain TerminalNodeFn 1 GraphArc) Merge.kif 5830-5830 The number 1 argument of terminal node is an instance of graph arc
(instance TerminalNodeFn PartialValuedRelation) Merge.kif 5829-5829 Terminal node is an instance of partial valued relation
(instance TerminalNodeFn UnaryFunction) Merge.kif 5828-5828 Terminal node is an instance of unary function
(range TerminalNodeFn GraphNode) Merge.kif 5831-5831 The range of terminal node is an instance of graph node

appearance as argument number 2
-------------------------


(format ChineseLanguage TerminalNodeFn "%1 节点的终点") chinese_format.kif 763-763
(format EnglishLanguage TerminalNodeFn "the terminal node of %1") english_format.kif 763-763
(relatedInternalConcept EndNodeFn TerminalNodeFn) Merge.kif 5853-5853 End node is internally related to terminal node
(termFormat ChineseLanguage TerminalNodeFn "终端节点") domainEnglishFormat.kif 57521-57521
(termFormat ChineseLanguage TerminalNodeFn "节点终点函数") chinese_format.kif 764-764
(termFormat ChineseTraditionalLanguage TerminalNodeFn "終端節點") domainEnglishFormat.kif 57520-57520
(termFormat EnglishLanguage TerminalNodeFn "terminal node") domainEnglishFormat.kif 57519-57519

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
(=>
    (and
        (instance ?GRAPH GraphPath)
        (instance ?ARC GraphArc)
        (graphPart ?ARC ?GRAPH))
    (=>
        (equal
            (TerminalNodeFn ?ARC) ?NODE)
        (not
            (exists (?OTHER)
                (and
                    (equal
                        (TerminalNodeFn ?OTHER) ?NODE)
                    (not
                        (equal ?OTHER ?ARC)))))))
Merge.kif 5638-5648
(=>
    (instance ?GRAPH Tree)
    (not
        (exists (?ARC1 ?ARC2 ?NODE)
            (and
                (graphPart ?ARC1 ?GRAPH)
                (graphPart ?ARC2 ?GRAPH)
                (graphPart ?NODE ?GRAPH)
                (equal
                    (TerminalNodeFn ?ARC1) ?NODE)
                (equal
                    (TerminalNodeFn ?ARC2) ?NODE)
                (not
                    (equal ?ARC1 ?ARC2))))))
Merge.kif 5606-5616


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