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

shu4 zhuang4 tu2 (Tree)

A Tree is a DirectedGraph that has no GraphLoops.

Ontology

SUMO / GRAPH-THEORY

Superclass(es)

[tree]
shi2 ti3
is subclass of
  chou1 xiang4 de5  
is subclass of
  tu2  
is subclass of
  shu4 zhuang4 tu2  

Coordinate term(s)

you3 xiang4 tu2  duo1 tu2  ni3 tu2 

Axioms (1)

If graph shi4 shu4 zhuang4 tu2 de5 shi2 li4, then there doesn't exist tu2 hui2 quan1 loop so_that_not loop shi4 graph de5 bu4 fen5. 
(=>
      (instance ?GRAPH Tree)
      (not
            (exists
                  (?LOOP)
                  (and
                        (instance ?LOOP GraphLoop)
                        (graphPart ?LOOP ?GRAPH)))))