| 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 5892-5895 | |
| (domain InitialNodeFn 1 GraphArc) | Merge.kif 5889-5889 | |
| (instance InitialNodeFn PartialValuedRelation) | Merge.kif 5888-5888 | |
| (instance InitialNodeFn UnaryFunction) | Merge.kif 5887-5887 | |
| (range InitialNodeFn GraphNode) | Merge.kif 5890-5890 |
| 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 | |
| (relatedInternalConcept BeginNodeFn InitialNodeFn) | Merge.kif 5911-5911 | |
| (termFormat ChineseLanguage InitialNodeFn "初始节点") | domainEnglishFormat.kif 30103-30103 | |
| (termFormat ChineseLanguage InitialNodeFn "节点起点函数") | chinese_format.kif 762-762 | |
| (termFormat ChineseTraditionalLanguage InitialNodeFn "初始節點") | domainEnglishFormat.kif 30102-30102 | |
| (termFormat EnglishLanguage InitialNodeFn "initial node") | domainEnglishFormat.kif 30101-30101 |
| antecedent |
|
|
| (=> (and (equal (InitialNodeFn ?ARC) ?NODE) (equal (TerminalNodeFn ?ARC) ?NODE)) (instance ?ARC GraphLoop)) |
Merge.kif 5833-5837 | |
| (=> (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 5693-5704 |
| 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 5642-5650 | |
| (=> (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 5693-5704 |
|
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