graph element (GraphElement)
Noncompositional parts of Graphs.
These parts are restricted to GraphNodes and GraphArcs.
SUMO / GRAPH-THEORY
set or class
graph element is disjoint from graph.
(disjoint GraphElement Graph)
graph element is exhaustively partitioned into graph node,graph arc.
(partition GraphElement GraphNode GraphArc)
If part is an instance of graph element, then there exists graph graph so that part is a part of graph.
(instance ?PART GraphElement)
(instance ?GRAPH Graph)
(graphPart ?PART ?GRAPH))))