Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subclass

	direct-children	documentation	graph
DirectedGraph	3	有向グラフの Class。有向グラフは、すべての GraphArcs が方向を持つ Graph である。すなわち、すべての GraphArc には初期ノード (Initial...	^
GraphPath	1	非公式には、Graph 内の2つの GraphNode 間の単一の指向ルート。正式には、DirectedGraphは、元の Graph の subGraph であり、Dir...	^
GraphCircuit	.	GraphPath は、同時に GraphNode で開始し、 (BeginNodeFn を参照) で終了 (EndNodeFn を参照) する。	^

Relation: Term:

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

View format:

text