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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InformationServicesAndDataProcessingServices

 Sigma KEE - InformationServicesAndDataProcessingServices
InformationServicesAndDataProcessingServices(信息服务和数据处理服务)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9130-9133
No TPTP formula. May not be expressible in strict first order. naics.kif 9128-9128 信息服务和数据处理服务 是 信息产业 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9173-9173 数据处理服务 是 信息服务和数据处理服务 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 9135-9135 信息服务 是 信息服务和数据处理服务 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30049-30049
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30048-30048
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30047-30047


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