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

graph element (GraphElement)

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

Ontology

SUMO / GRAPH-THEORY

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  graph element  

Subclass(es)

graph node  graph arc 

Coordinate term(s)

attribute  graph  proposition  quantity  relation  set or class 

Constrains relations

graph part 

Axioms (3)

graph element is disjoint from graph. 
(disjoint GraphElement Graph)
graph element is exhaustively partitioned into graph node,graph arc. 
(partition GraphElement GraphNode GraphArc)
If part is an instance of graph element, then there exists graph graph so that part is a part of graph. 
(=>
      (instance ?PART GraphElement)
      (exists
            (?GRAPH)
            (and
                  (instance ?GRAPH Graph)
                  (graphPart ?PART ?GRAPH))))