Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term: 

  GraphCircuit

Sigma KEE - GraphCircuit

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
GraphCircuit
A GraphPath that begins (see BeginNodeFn) and ends (see EndNodeFn) at the same GraphNode.
Relationships      
Parents GraphPath Informally, a single, directed route between two GraphNodes in a Graph. Formally, a DirectedGraph that is a subGraph of the original Graph and such that no two GraphArcs in the DirectedGraph have the same initial node (see InitialNodeFn) or the same terminal node (see TerminalNodeFn).


Show full definition (without tree view)
Show full definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners