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

fu2 hao4 chuan4 (SymbolicString)

The Class of alphanumeric sequences.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
shi2 ti3
is subclass of
  wu4 zhi4 de5  
is subclass of
  wu4 ti1  
is subclass of
  zi4 shen1 lian2 xu4 wu4 ti1  
is subclass of
  na4 rong2 zai4 ti3  
is subclass of
  fu2 hao4 chuan4  

Subclass(es)

zi4 yuan2 

Coordinate term(s)

tu2 shi4  yu3 yan2 biao3 shi4  xi4 lie4 kan1 wu4 

Constrains relations

zhong3 lei4 miao2 shu4 han2 shu4  wen2 zi4 shuo1 ming2  ming4 ming2  SUMOwai4 bu4 xiang1 guan1 gai4 nian4 

Related WordNet synsets

See more related synsets on a separate page.

Axioms (1)

If string shi4 fu2 hao4 chuan4 de5 shi2 li4, then there exists zi4 yuan2 part so_that_not part shi4 string de5 bu4 fen5). 
(=>
      (instance ?STRING SymbolicString)
      (exists
            (?PART)
            (and
                  (part ?PART ?STRING)
                  (instance ?PART Character))))