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

tu2 yuan2 jian4 (GraphElement)

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

Ontology

SUMO / GRAPH-THEORY

Superclass(es)

[tree]
shi2 ti3
is subclass of
  chou1 xiang4 de5  
is subclass of
  tu2 yuan2 jian4  

Subclass(es)

tu2 jie2 dian3  tu2 hu2 xian4 

Coordinate term(s)

shu3 xing4  tu2  ming4 ti2  shu4 liang4  guan1 xi4  ji2 he2 huo4 zhong3 lei4 

Constrains relations

tu2 bu4 fen5 

Axioms (3)

tu2 yuan2 jian4 wu2 jiao1 ji2 yu1 tu2. 
(disjoint GraphElement Graph)
tu2 yuan2 jian4 wan2 quan2 fen1 ge1 cheng2 tu2 jie2 dian3,tu2 hu2 xian4. 
(partition GraphElement GraphNode GraphArc)
If part shi4 tu2 yuan2 jian4 de5 shi2 li4, then there exists tu2 graph so_that_not part shi4 graph de5 bu4 fen5. 
(=>
      (instance ?PART GraphElement)
      (exists
            (?GRAPH)
            (and
                  (instance ?GRAPH Graph)
                  (graphPart ?PART ?GRAPH))))