Sigma KB Browser

KB Graph : Welcome guest : log in

[ Home | ] KB: Language:
Formal Language:

Relation: subclass

	direct-children	documentation	graph
Proposition	423	Proposition 是 Abstract 实体，它表达一个完整的意思或是一套想法。例如：公式 '(instance Yojo Cat)' 表达 Proposition 为那个叫佑...	^
Graph	6	这是图的 Class，我们可以把图理解成一组由 GraphArc 联系的 GraphNode。注：这个 Class 只包括连通图，即是两个 GraphNode 之间有一个 ...	^
DirectedGraph	3	这是有向图的 Class，有向图的所有 GraphArc 都有方向，即是每一个 GraphArc 有一个始点(可参考 InitialNodeFn)和一个终点(可参考 Termi...	^
MultiGraph	.	这是多样图的 Class，一个多样图拥有起码一对联系超过一个 GraphArc GraphNode 的 Graph。	^
PseudoGraph	.	这是伪图的 Class，一个伪图是拥有起码一个 GraphLoop 的 Graph。	^

Relation: Term:

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

View format:

text