Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

bahu aalekha (MultiGraph)

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

Ontology

SUMO / GRAPH-THEORY

Superclass(es)

[tree]
astitva
is subclass of
  amUrta  
is subclass of
  aalekha  
is subclass of
  bahu aalekha  

Coordinate term(s)

pratyaksha aalekha  aabhaasii aalekha  vriksha 

Axioms (1)

graph is an instance of bahu aalekha agar hai yah kuch arc1,arc2,node1,node2 nahin, ki arc1 is a part of graph aur arc2 is a part of graph aur node1 is a part of graph aur node2 is a part of graph aur arc1 links node1 and node2 aur arc2 links node1 and node2 aur arc1 is not equal to arc2. 
(<=>
      (instance ?GRAPH MultiGraph)
      (exists
            (?ARC1 ?ARC2 ?NODE1 ?NODE2)
            (and
                  (graphPart ?ARC1 ?GRAPH)
                  (graphPart ?ARC2 ?GRAPH)
                  (graphPart ?NODE1 ?GRAPH)
                  (graphPart ?NODE2 ?GRAPH)
                  (links ?NODE1 ?NODE2 ?ARC1)
                  (links ?NODE1 ?NODE2 ?ARC2)
                  (not
                        (equal ?ARC1 ?ARC2)))))