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

vriksha (Tree)

A Tree is a DirectedGraph that has no GraphLoops.

Ontology

SUMO / GRAPH-THEORY

Superclass(es)

[tree]
astitva
is subclass of
  amUrta  
is subclass of
  aalekha  
is subclass of
  vriksha  

Coordinate term(s)

pratyaksha aalekha  bahu aalekha  aabhaasii aalekha 

Axioms (1)

Agar graph is an instance of vriksha, to yah kuch aalekha paasha loop nahin, ki loop is a part of graph. 
(=>
      (instance ?GRAPH Tree)
      (not
            (exists
                  (?LOOP)
                  (and
                        (instance ?LOOP GraphLoop)
                        (graphPart ?LOOP ?GRAPH)))))