pratyaksha aalekha (DirectedGraph)
The Class of directed graphs. A
directed graph is a Graph in which all GraphArcs
have direction, i.e. every GraphArc has an initial node (see
InitialNodeFn) and a terminal node (see TerminalNodeFn).
SUMO / GRAPH-THEORY
Agar graph is an instance of pratyaksha aalekha aur arc is an instance of chaapa aalekha aur arc is a part of graph, to yah kuch node1,node2 nahin, ki "the starting node of arc" is equal to node1 aur "the terminal node of arc" is equal to node2.
(instance ?GRAPH DirectedGraph)
(instance ?ARC GraphArc)
(graphPart ?ARC ?GRAPH))
Agar path is a part of graph aur graph is not an instance of pratyaksha aalekha, to "the set of paths between node1 and node2" is equal to path agar hai "the set of paths between node2 and node1" is equal to path.
(graphPart ?PATH ?GRAPH)
(instance ?GRAPH DirectedGraph)))
(GraphPathFn ?NODE1 ?NODE2)
(GraphPathFn ?NODE2 ?NODE1)