Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  OtherPublishers

 Sigma KEE - OtherPublishers
OtherPublishers(其他出版商)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 8880-8882
No TPTP formula. May not be expressible in strict first order. naics.kif 8878-8878 其他出版商 是 报纸期刊和数据库出版商 的 subAttribute

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 8891-8891 所有其他出版商 是 其他出版商 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 8884-8884 贺卡出版商 是 其他出版商 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43416-43416
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43415-43415
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43414-43414


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners