| 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 5935-5938 | |
| (documentation InitialNodeFn JapaneseLanguage "UnaryFunction は、GraphArc を GraphArc の初期ノードにマップする。 注：これは部分的な関数。特に、DirectedGraph の一部ではない GraphArc の関数は未定義である。") | japanese_format.kif 1033-1035 | |
| (domain InitialNodeFn 1 GraphArc) | Merge.kif 5932-5932 | The number 1 argument of initial node is an instance of graph arc |
| (instance InitialNodeFn PartialValuedRelation) | Merge.kif 5931-5931 | Initial node is an instance of partial valued relation |
| (instance InitialNodeFn UnaryFunction) | Merge.kif 5930-5930 | Initial node is an instance of unary function |
| (range InitialNodeFn GraphNode) | Merge.kif 5933-5933 | The range of initial node is an instance of graph node |
| 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 | |
| (format FrenchLanguage InitialNodeFn "le noeud de d�part de %1") | french_format.kif 460-460 | |
| (format ItalianLanguage InitialNodeFn "il nodo iniziale di %1") | relations-it.txt 146-146 | |
| (format JapaneseLanguage InitialNodeFn "%1 の starting ノード") | japanese_format.kif 2164-2164 | |
| (format PortugueseLanguage InitialNodeFn "o no' initial %1") | portuguese_format.kif 412-412 | |
| (format de InitialNodeFn "das ausgangsnullpunkt von %1") | relations-de.txt 982-982 | |
| (format hi InitialNodeFn "%1 kii praarambhika bindu") | relations-hindi.txt 185-185 | |
| (format ro InitialNodeFn "nodul starting%t{iniþial} al lui %1") | relations-ro.kif 482-482 | |
| (format sv InitialNodeFn "den initiala noden för %1") | relations-sv.txt 526-526 | |
| (format tg InitialNodeFn "ang pasimula ng %1") | relations-tg.txt 296-296 | |
| (relatedInternalConcept BeginNodeFn InitialNodeFn) | Merge.kif 5954-5954 | Begin node is internally related to initial node |
| (termFormat ChineseLanguage InitialNodeFn "初始节点") | domainEnglishFormat.kif 30149-30149 | Begin node is internally related to initial node |
| (termFormat ChineseLanguage InitialNodeFn "节点起点函数") | chinese_format.kif 762-762 | Begin node is internally related to initial node |
| (termFormat ChineseTraditionalLanguage InitialNodeFn "初始節點") | domainEnglishFormat.kif 30148-30148 | Begin node is internally related to initial node |
| (termFormat EnglishLanguage InitialNodeFn "initial node") | domainEnglishFormat.kif 30147-30147 | Begin node is internally related to initial node |
| (termFormat de InitialNodeFn "AusgangsNullPunktFn") | terms-de.txt 300-300 | Begin node is internally related to initial node |
| (termFormat tg InitialNodeFn "tungkulin ng buko una") | relations-tg.txt 297-297 | Begin node is internally related to initial 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 (InitialNodeFn ?ARC) ?NODE)) (not (exists (?OTHER) (and (equal (InitialNodeFn ?OTHER) ?NODE) (not (equal ?OTHER ?ARC)))))) |
Merge.kif 5736-5747 |
|
| 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