Graphelement (GraphElement)

Noncompositional parts of Graphs. These parts are restricted to GraphNodes and GraphArcs.

Ontology

SUMO / GRAPH-THEORY

Superclass(es)

Wesen

abstrakter Gegenstand

Graphelement

Subclass(es)

Graphknoten Graphbogen

Coordinate term(s)

Attribut Graph Proposition Eigenschaft Relation Menge oder Kategorie

Constrains relations

graphenTeil

Axioms (3)

Graphelement ist dijunkt von Graph .

(disjoint GraphElement Graph)

Graphelement wird vollständig in Graphknoten,Graphbogen verteilt.

(partition GraphElement GraphNode GraphArc)

Wenn part ist ein fall von Graphelement , dann es gibt ein Graph graph der part ist ein teil von graph .

(=>
      (instance ?PART GraphElement)
      (exists
            (?GRAPH)
            (and
                  (instance ?GRAPH Graph)
                  (graphPart ?PART ?GRAPH))))