Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

ElementoDelGrafo (GraphElement)

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

Ontology

SUMO / GRAPH-THEORY

Superclass(es)

[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  ElementoDelGrafo  

Subclass(es)

NodoDelGrafo  ArcoDelGrafo 

Coordinate term(s)

Attributo  Grafo  Proposizione  Quantitá  Relazione  InsiemeOClasse 

Constrains relations

graph part 

Axioms (3)

ElementoDelGrafo é disgiunto da Grafo. 
(disjoint GraphElement Graph)
ElementoDelGrafo é esaustivamente partizionato in NodoDelGrafo,ArcoDelGrafo. 
(partition GraphElement GraphNode GraphArc)
Se part é un' istanza di ElementoDelGrafo, allora esiste Grafo graph tale che part é una parte di graph. 
(=>
      (instance ?PART GraphElement)
      (exists
            (?GRAPH)
            (and
                  (instance ?GRAPH Graph)
                  (graphPart ?PART ?GRAPH))))