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

Stringa (SymbolicString)

The Class of alphanumeric sequences.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
Entitá
is subclass of
  EntitáConcreta  
is subclass of
  Oggetto  
is subclass of
  OggettoIntegro  
is subclass of
  OggettoSemiotico  
is subclass of
  Stringa  

Subclass(es)

Carattere 

Coordinate term(s)

Icona  EspressioneLinguistica  Serie 

Constrains relations

kappa fn  documentation  names  related external concept 

Related WordNet synsets

See more related synsets on a separate page.

Axioms (1)

Se string é un' istanza di Stringa, allora esiste Carattere part tale che part é una parte di string. 
(=>
      (instance ?STRING SymbolicString)
      (exists
            (?PART)
            (and
                  (part ?PART ?STRING)
                  (instance ?PART Character))))