TreeView Knowledge Base Browser

Simple Browser : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:

Sigma KEE - MultiGraph

multi graph

The Class of multigraphs. A multigraph is a Graph containing at least one pair of GraphNodes that are connected by more than one GraphArc.

Relationships
Parents	graph	The Class of graphs, where a graph is understood to be a set of GraphNodes connected by GraphArcs. Note that this Class includes only connected graphs, i.e. graphs in which there is a GraphPath between any two GraphNodes. Note too that every Graph is required to contain at least two GraphArcs and three GraphNodes.