Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subclass

	direct-children	documentation	graph
Graph	6	这是图的 Class，我们可以把图理解成一组由 GraphArc 联系的 GraphNode。注：这个 Class 只包括连通图，即是两个 GraphNode 之间有一个 ...	^
DirectedGraph	3	这是有向图的 Class，有向图的所有 GraphArc 都有方向，即是每一个 GraphArc 有一个始点(可参考 InitialNodeFn)和一个终点(可参考 Termi...	^
Tree	.	树是一个没有 GraphLoop 的 DirectedGraph。	^
GraphPath	1	非形式来说，这是一个 Graph 的两个 GraphNode 之间的单一有向的路径。形式的说，这是一个 DirectedGraph，它是原来的 Graph 的 subGraph...	^

Relation: Term:

Levels "above": Levels "below": Total term limit: Show instances:
All relations: Restrict to file:
Columns to display:

View format:

text