ArcoDelGrafo (GraphArc)

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

Ontology

SUMO / GRAPH-THEORY

Superclass(es)

Entitá

Astratto

ElementoDelGrafo

ArcoDelGrafo

Subclass(es)

GrafoCiclico

Coordinate term(s)

NodoDelGrafo

Constrains relations

initial node fn terminal node fn arc weight links

Related WordNet synsets

See more related synsets on a separate page.

Axioms (5)

Se graph é un' istanza di GrafoDiretto e arc é un' istanza di ArcoDelGrafo e arc é una parte di graph, allora esiste node1,node2 tale che "il nodo iniziale di arc" is uguale a node1 e "il nodo terminale di arc" is uguale a node2.

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

se graph é un' istanza di CamminoDelGrafo e arc é un' istanza di ArcoDelGrafo e arc é una parte di graph,
allora se "il nodo iniziale di arc" is uguale a node, allora non esiste other tale che "il nodo iniziale di other" is uguale a node e other is not uguale a arc

(=>
      (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)))))))

se graph é un' istanza di CamminoDelGrafo e arc é un' istanza di ArcoDelGrafo e arc é una parte di graph,
allora se "il nodo terminale di arc" is uguale a node, allora non esiste other tale che "il nodo terminale di other" is uguale a node e other is not uguale a arc

(=>
      (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)))))))

ElementoDelGrafo é esaustivamente partizionato in NodoDelGrafo,ArcoDelGrafo.

(partition GraphElement GraphNode GraphArc)

Se arc é un' istanza di ArcoDelGrafo, allora esiste node1,node2 tale che arc legas node1 e node2.

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