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

圖元件 (GraphElement)

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

Ontology

SUMO / GRAPH-THEORY

Superclass(es)

[tree]
實體
is subclass of
  抽象的  
is subclass of
  圖元件  

Subclass(es)

圖節點  圖弧線 

Coordinate term(s)

屬性  圖  命題  數量  關係  集合或種類 

Constrains relations

圖部分 

Axioms (3)

圖元件 無交集 於 圖. 
(disjoint GraphElement Graph)
圖元件 完全 分割成 圖節點,圖弧線. 
(partition GraphElement GraphNode GraphArc)
If part 是 圖元件 的 實例, then there exists 圖 graph so that part 是 graph 的 部分. 
(=>
      (instance ?PART GraphElement)
      (exists
            (?GRAPH)
            (and
                  (instance ?GRAPH Graph)
                  (graphPart ?PART ?GRAPH))))