| DirectedGraph(directed graph)
|
| appearance as argument number 1 |
|
| s__documentation(s__DirectedGraph,s__ChineseLanguage,'"这是有向图的 Class，有向图的所有 GraphArc 都 有方向，即是每一个 GraphArc 有一个始点(可参考 InitialNodeFn)和一个终点(可参考 TerminalNodeFn)。"')
|
chinese_format.kif 2326-2328 | |
| s__documentation(s__DirectedGraph,s__EnglishLanguage,'"The Class of directed graphs. A directed graph is a Graph in which all GraphArcs have direction, i.e. every GraphArc has an initial node (see InitialNodeFn) and a terminal node (see TerminalNodeFn)."')
|
Merge.kif 5343-5346 | |
| s__externalImage(s__DirectedGraph,'"http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ Directed.svg"')
|
pictureList.kif 1729-1729 | |
| s__subclass(s__DirectedGraph,s__Graph) s__instance(s__DirectedGraph,s__SetOrClass) s__instance(s__Graph,s__SetOrClass)
|
Merge.kif 5341-5341 | Directed graph is a subclass of graph |
| appearance as argument number 2 |
|
|
| s__subclass(s__GraphPath,s__DirectedGraph) s__instance(s__DirectedGraph,s__SetOrClass) s__instance(s__GraphPath,s__SetOrClass)
|
Merge.kif 5391-5391 | Graph path is a subclass of directed graph |
| s__instance(s__Tree,s__SetOrClass) s__subclass(s__Tree,s__DirectedGraph) s__instance(s__DirectedGraph,s__SetOrClass)
|
Merge.kif 5358-5358 | Tree is a subclass of directed graph |
| s__termFormat(s__ChineseLanguage,s__DirectedGraph,'"有向图"')
|
chinese_format.kif 934-934 | |
| s__termFormat(s__EnglishLanguage,s__DirectedGraph,'"directed graph"')
|
english_format.kif 1080-1080 |
| antecedent |
|
|
| ( ! [V__NODE2,V__NODE1,V__PATH,V__GRAPH] : ((s__instance(V__NODE2,s__GraphNode) & s__instance(V__NODE1,s__GraphNode) & s__instance(V__PATH,s__GraphElement) & s__instance(V__GRAPH,s__Graph)) => (s__graphPart(V__PATH,V__GRAPH) & ~(s__instance(V__GRAPH,s__DirectedGraph))) => (s__instance(V__PATH,s__GraphPathFn(V__NODE1,V__NODE2)) => s__instance(V__PATH,s__GraphPathFn(V__NODE2,V__NODE1))) & (s__instance(V__PATH,s__GraphPathFn(V__NODE2,V__NODE1)) => s__instance(V__PATH,s__GraphPathFn(V__NODE1,V__NODE2))) ) )
|
Merge.kif 5713-5719 |
|
| ( ! [V__ARC,V__GRAPH] : ((s__instance(V__GRAPH,s__DirectedGraph) & s__instance(V__ARC,s__GraphArc) & s__graphPart(V__ARC,V__GRAPH)) => ( ? [V__NODE1, V__NODE2] : ((s__instance(V__NODE1,s__GraphNode) & s__instance(V__NODE2,s__GraphNode) & ((s__InitialNodeFn(V__ARC) = V__NODE1) & (s__TerminalNodeFn(V__ARC) = V__NODE2))))) ) )
|
Merge.kif 5348-5356 |
|
|
|
|