Zeichenfolge (SymbolicString)
The Class of alphanumeric sequences.
Ontology
SUMO / BASE-ONTOLOGYSuperclass(es)
Subclass(es)
Zeichen
Coordinate term(s)
Ikon
linguistischer Ausdruck
Reihe
Constrains relations
KappaFn
dokumentation
names
verwandtesÄusserkonzept
Related WordNet synsets
See more related synsets on a separate page.
Axioms (1)
Wenn string ist ein fall von Zeichenfolge , dann es gibt ein Zeichen part der part ist ein teil von string .
(=>
(instance ?STRING SymbolicString)
(exists
(?PART)
(and
(part ?PART ?STRING)
(instance ?PART Character))))