Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

prvek grafu (GraphElement)

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

Ontologie

SUMO / GRAPH-THEORY

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  prvek grafu  

Podtřída(y)

uzel grafu  hrana grafu 

Související termín(y)

atribut  graf  výrok  veličina  relace  množina nebo třída 

Constrains relations

graph part 

Axiomy (3)

prvek grafu je disjoint from graf. 
(disjoint GraphElement Graph)
prvek grafu je exhaustively partitioned into uzel grafu,hrana grafu. 
(partition GraphElement GraphNode GraphArc)
Jestliže part je instancí třídy prvek grafu, potom existuje graf graph tak, že part je částí graph. 
(=>
      (instance ?PART GraphElement)
      (exists
            (?GRAPH)
            (and
                  (instance ?GRAPH Graph)
                  (graphPart ?PART ?GRAPH))))