Graphbogen (GraphArc)

Graphs are comprised of GraphNodes and GraphArcs. Every GraphArc links two GraphNodes.

Ontology

SUMO / GRAPH-THEORY

Superclass(es)

Wesen

abstrakter Gegenstand

Graphelement

Graphbogen

Subclass(es)

Graphschleife

Coordinate term(s)

Graphknoten

Constrains relations

AusgangsNullPunktFn TerminalNullPunktFn arctusGewicht verbindet

Related WordNet synsets

See more related synsets on a separate page.

Axioms (5)

Wenn graph ist ein fall von gerichtetes Graph und arc ist ein fall von Graphbogen und arc ist ein teil von graph , dann es gibt ein node1,node2 der "das ausgangsnullpunkt von arc" ist gleich node1 und "das terminalnullpunkt von arc" ist gleich node2 .

(=>
      (and
            (instance ?GRAPH DirectedGraph)
            (instance ?ARC GraphArc)
            (graphPart ?ARC ?GRAPH))
      (exists
            (?NODE1 ?NODE2)
            (and
                  (equal
                        (InitialNodeFn ?ARC)
                        ?NODE1)
                  (equal
                        (TerminalNodeFn ?ARC)
                        ?NODE2))))

wenn graph ist ein fall von Graphweg und arc ist ein fall von Graphbogen und arc ist ein teil von graph ,
dann wenn "das ausgangsnullpunkt von arc" ist gleich node , dann es gibt kein other der "das ausgangsnullpunkt von other" ist gleich node und other ist gleich arc nicht

(=>
      (and
            (instance ?GRAPH GraphPath)
            (instance ?ARC GraphArc)
            (graphPart ?ARC ?GRAPH))
      (=>
            (equal
                  (InitialNodeFn ?ARC)
                  ?NODE)
            (not
                  (exists
                        (?OTHER)
                        (and
                              (equal
                                    (InitialNodeFn ?OTHER)
                                    ?NODE)
                              (not
                                    (equal ?OTHER ?ARC)))))))

wenn graph ist ein fall von Graphweg und arc ist ein fall von Graphbogen und arc ist ein teil von graph ,
dann wenn "das terminalnullpunkt von arc" ist gleich node , dann es gibt kein other der "das terminalnullpunkt von other" ist gleich node und other ist gleich arc nicht

(=>
      (and
            (instance ?GRAPH GraphPath)
            (instance ?ARC GraphArc)
            (graphPart ?ARC ?GRAPH))
      (=>
            (equal
                  (TerminalNodeFn ?ARC)
                  ?NODE)
            (not
                  (exists
                        (?OTHER)
                        (and
                              (equal
                                    (TerminalNodeFn ?OTHER)
                                    ?NODE)
                              (not
                                    (equal ?OTHER ?ARC)))))))

Graphelement wird vollständig in Graphknoten,Graphbogen verteilt.

(partition GraphElement GraphNode GraphArc)

Wenn arc ist ein fall von Graphbogen , dann es gibt ein node1,node2 der arc verbindet node1 und node2 .

(=>
      (instance ?ARC GraphArc)
      (exists
            (?NODE1 ?NODE2)
            (links ?NODE1 ?NODE2 ?ARC)))