tatva aalekha (GraphElement)
Noncompositional parts of Graphs.
These parts are restricted to GraphNodes and GraphArcs.
SUMO / GRAPH-THEORY
samUha yaa varga
tatva aalekha asansavat aalekha se hai.
(disjoint GraphElement Graph)
tatva aalekha is exhaustively partitioned into granthi aalekha,chaapa aalekha.
(partition GraphElement GraphNode GraphArc)
Agar part is an instance of tatva aalekha, to yah kuch aalekha graph nahin, ki part is a part of graph.
(instance ?PART GraphElement)
(instance ?GRAPH Graph)
(graphPart ?PART ?GRAPH))))