| 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 5945-5948 | |
| (documentation TerminalNodeFn JapaneseLanguage "UnaryFunction は、 GraphArc を GraphArc の端子ノードにマップする。 注：これは部分的な関数。特に、DirectedGraph の一部では ない GraphArc の関数は未定義である。") | japanese_format.kif 1036-1038 | |
| (domain TerminalNodeFn 1 GraphArc) | Merge.kif 5942-5942 | The number 1 argument of terminal node is an instance of graph arc |
| (instance TerminalNodeFn PartialValuedRelation) | Merge.kif 5941-5941 | Terminal node is an instance of partial valued relation |
| (instance TerminalNodeFn UnaryFunction) | Merge.kif 5940-5940 | Terminal node is an instance of unary function |
| (range TerminalNodeFn GraphNode) | Merge.kif 5943-5943 | 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 | |
| (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 5965-5965 | End node is internally related to terminal node |
| (termFormat ChineseLanguage TerminalNodeFn "终端节点") | domainEnglishFormat.kif 57589-57589 | End node is internally related to terminal node |
| (termFormat ChineseLanguage TerminalNodeFn "节点终点函数") | chinese_format.kif 764-764 | End node is internally related to terminal node |
| (termFormat ChineseTraditionalLanguage TerminalNodeFn "終端節點") | domainEnglishFormat.kif 57588-57588 | End node is internally related to terminal node |
| (termFormat EnglishLanguage TerminalNodeFn "terminal node") | domainEnglishFormat.kif 57587-57587 | End node is internally related to terminal node |
| (termFormat de TerminalNodeFn "TerminalNullPunktFn") | terms-de.txt 301-301 | End node is internally related to terminal node |
| antecedent |
|
|
| (=> (and (equal (InitialNodeFn ?ARC) ?NODE) (equal (TerminalNodeFn ?ARC) ?NODE)) (instance ?ARC GraphLoop)) |
Merge.kif 5876-5880 |
|
| (=> (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 5749-5760 |
|
| consequent |
|
|
|
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