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

符號串 (SymbolicString)

The Class of alphanumeric sequences.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
實體
is subclass of
  物質的  
is subclass of
  物體  
is subclass of
  自身連續物體  
is subclass of
  內容載體  
is subclass of
  符號串  

Subclass(es)

字元 

Coordinate term(s)

圖示  語言表式  系列刊物 

Constrains relations

種類描述函數  文字說明  命名  SUMO外部相關概念 

Related WordNet synsets

See more related synsets on a separate page.

Axioms (1)

If string 是 符號串 的 實例, then there exists 字元 part so that part 是 string 的 部分). 
(=>
      (instance ?STRING SymbolicString)
      (exists
            (?PART)
            (and
                  (part ?PART ?STRING)
                  (instance ?PART Character))))