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

tatva aalekha (GraphElement)

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

Ontology

SUMO / GRAPH-THEORY

Superclass(es)

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

Subclass(es)

granthi aalekha  chaapa aalekha 

Coordinate term(s)

visheshtaa  aalekha  prastaava  parimaaNa  sambandha  samUha yaa varga 

Constrains relations

graph part 

Axioms (3)

tatva aalekha asansavat aalekha se hai. 
(disjoint GraphElement Graph)
tatva aalekha is exhaustively partitioned into granthi aalekha,chaapa aalekha. 
(partition GraphElement GraphNode GraphArc)
Agar part is an instance of tatva aalekha, to yah kuch aalekha graph nahin, ki part is a part of graph. 
(=>
      (instance ?PART GraphElement)
      (exists
            (?GRAPH)
            (and
                  (instance ?GRAPH Graph)
                  (graphPart ?PART ?GRAPH))))