Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

řetězec (SymbolicString)

The Class of alphanumeric sequences.

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

[tree]
entita
is subclass of
  fyzický objekt  
is subclass of
  objekt  
is subclass of
  spojitý objekt  
is subclass of
  objekt nesoucí informaci  
is subclass of
  řetězec  

Podtřída(y)

znak 

Související termín(y)

ikona  lingvistický výraz  řada 

Constrains relations

kappa fn  documentation  names  related external concept 

Related WordNet synsets

See more related synsets on a separate page.

Axiomy (1)

Jestliže string je instancí třídy řetězec, potom existuje znak part tak, že part je částí string. 
(=>
      (instance ?STRING SymbolicString)
      (exists
            (?PART)
            (and
                  (part ?PART ?STRING)
                  (instance ?PART Character))))