| 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 5936-5939 | |
| (documentation TerminalNodeFn JapaneseLanguage "UnaryFunction は、 GraphArc を GraphArc の端子ノードにマップする。 注：これは部分的な関数。特に、DirectedGraph の一部では ない GraphArc の関数は未定義である。") | japanese_format.kif 1036-1038 | |
| (domain TerminalNodeFn 1 GraphArc) | Merge.kif 5933-5933 | |
| (instance TerminalNodeFn PartialValuedRelation) | Merge.kif 5932-5932 | |
| (instance TerminalNodeFn UnaryFunction) | Merge.kif 5931-5931 | |
| (range TerminalNodeFn GraphNode) | Merge.kif 5934-5934 |
| 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 | |
| (format FrenchLanguage TerminalNodeFn "le noeud terminal %1") | french_format.kif 461-461 | |
| (format ItalianLanguage TerminalNodeFn "il nodo terminale di %1") | relations-it.txt 298-298 | |
| (format JapaneseLanguage TerminalNodeFn "%1 の terminal ノード") | japanese_format.kif 2165-2165 | |
| (format PortugueseLanguage TerminalNodeFn "o no' terminal %1") | portuguese_format.kif 413-413 | |
| (format de TerminalNodeFn "das terminalnullpunkt von %1") | relations-de.txt 985-985 | |
| (format hi TerminalNodeFn "%1 kaa antastha bindu") | relations-hindi.txt 334-334 | |
| (format ro TerminalNodeFn "nodul terminal%t{terminal} al lui %1") | relations-ro.kif 483-483 | |
| (format sv TerminalNodeFn "den terminerande noden för %1") | relations-sv.txt 527-527 | |
| (format tg TerminalNodeFn "ang buko ng pandulo %1") | relations-tg.txt 490-490 | |
| (relatedInternalConcept EndNodeFn TerminalNodeFn) | Merge.kif 5956-5956 | |
| (termFormat ChineseLanguage TerminalNodeFn "终端节点") | domainEnglishFormat.kif 57556-57556 | |
| (termFormat ChineseLanguage TerminalNodeFn "节点终点函数") | chinese_format.kif 764-764 | |
| (termFormat ChineseTraditionalLanguage TerminalNodeFn "終端節點") | domainEnglishFormat.kif 57555-57555 | |
| (termFormat EnglishLanguage TerminalNodeFn "terminal node") | domainEnglishFormat.kif 57554-57554 |
| antecedent |
|
|
| (=> (and (equal (InitialNodeFn ?ARC) ?NODE) (equal (TerminalNodeFn ?ARC) ?NODE)) (instance ?ARC GraphLoop)) |
Merge.kif 5867-5871 | |
| (=> (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 5740-5751 |
| 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 5676-5684 | |
| (=> (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 5740-5751 | |
| (=> (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 5707-5717 |
|
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