Graphknoten (GraphNode)

Graphs are comprised of GraphNodes and GraphArcs. Every GraphNode is linked by a GraphArc.

Ontology

SUMO / GRAPH-THEORY

Superclass(es)

Wesen

abstrakter Gegenstand

Graphelement

Graphknoten

Coordinate term(s)

Graphbogen

Constrains relations

BeginNullPunktFn EndeNullPunktFn GraphPfadFn AusgangsNullPunktFn MaximalerBelasteterPfadFn MinimalerBelasteterPfadFn TerminalNullPunktFn verbindet

Related WordNet synsets

See more related synsets on a separate page.

Axioms (3)

Wenn graph ist ein fall von Graph und node1 ist ein fall von Graphknoten und node2 ist ein fall von Graphknoten und node1 ist ein teil von graph und node2 ist ein teil von graph und node1 ist gleich node2 nicht, dann es gibt ein arc,path der

arc verbindet node1 und node2
- path ist ein teilgraph von graph
- path ist ein fall von Graphweg
- - "der anfang von path" ist gleich node1 und "das ende von path" ist gleich node2
  - "der anfang von path" ist gleich node2 und "das ende von path" ist gleich node1

(=>
      (and
            (instance ?GRAPH Graph)
            (instance ?NODE1 GraphNode)
            (instance ?NODE2 GraphNode)
            (graphPart ?NODE1 ?GRAPH)
            (graphPart ?NODE2 ?GRAPH)
            (not
                  (equal ?NODE1 ?NODE2)))
      (exists
            (?ARC ?PATH)
            (or
                  (links ?NODE1 ?NODE2 ?ARC)
                  (and
                        (subGraph ?PATH ?GRAPH)
                        (instance ?PATH GraphPath)
                        (or
                              (and
                                    (equal
                                          (BeginNodeFn ?PATH)
                                          ?NODE1)
                                    (equal
                                          (EndNodeFn ?PATH)
                                          ?NODE2))
                              (and
                                    (equal
                                          (BeginNodeFn ?PATH)
                                          ?NODE2)
                                    (equal
                                          (EndNodeFn ?PATH)
                                          ?NODE1)))))))

Graphelement wird vollständig in Graphknoten,Graphbogen verteilt.

(partition GraphElement GraphNode GraphArc)

Wenn node ist ein fall von Graphknoten , dann es gibt ein other,arc der arc verbindet node und other .

(=>
      (instance ?NODE GraphNode)
      (exists
            (?OTHER ?ARC)
            (links ?NODE ?OTHER ?ARC)))