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

多圖 (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]
實體
is subclass of
  抽象的  
is subclass of
  圖  
is subclass of
  多圖  

Coordinate term(s)

有向圖  擬圖  樹狀圖 

Axioms (1)

graph 是 多圖 的 實例 if and only if there exist arc1,arc2,node1,node2 so that arc1 是 graph 的 部分 and arc2 是 graph 的 部分 and node1 是 graph 的 部分 and node2 是 graph 的 部分 and arc1 (沒) 連結not(s) node1 和 node2 and arc2 (沒) 連結not(s) node1 和 node2 and arc1 等於 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)))))