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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BusinessSupportServices

Sigma KEE - BusinessSupportServices
BusinessSupportServices(商業支持服務)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10353-10355
No TPTP formula. May not be expressible in strict first order. naics.kif 10351-10351 子屬性 商業支持服務 and 行政和支持服務

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10384-10384 子屬性 商業服務中心 and 商業支持服務
No TPTP formula. May not be expressible in strict first order. naics.kif 10405-10405 子屬性 收集機構 and 商業支持服務
No TPTP formula. May not be expressible in strict first order. naics.kif 10411-10411 子屬性 信用局 and 商業支持服務
No TPTP formula. May not be expressible in strict first order. naics.kif 10357-10357 子屬性 文件準備服務 and 商業支持服務
No TPTP formula. May not be expressible in strict first order. naics.kif 10417-10417 子屬性 其他商業支持服務 and 商業支持服務
No TPTP formula. May not be expressible in strict first order. naics.kif 10364-10364 子屬性 電話呼叫中心 and 商業支持服務
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12481-12481
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12480-12480
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12479-12479


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