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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ProfessionalScientificAndTechnicalServices

 Sigma KEE - ProfessionalScientificAndTechnicalServices
ProfessionalScientificAndTechnicalServices(专业的科技服务)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9858-9860
No TPTP formula. May not be expressible in strict first order. naics.kif 9856-9856 专业的科技服务 是 行业属性 的 instance

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9900-9900 会计税务准备簿记和工资单服务 是 专业的科技服务 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 10153-10153 广告和相关服务 是 专业的科技服务 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 9935-9935 建筑工程及相关服务 是 专业的科技服务 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 10027-10027 计算机系统设计和相关服务 是 专业的科技服务 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 9862-9862 法律服务 是 专业的科技服务 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 10062-10062 管理科学和技术咨询服务 是 专业的科技服务 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 10213-10213 其他专业的科学技术服务 是 专业的科技服务 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 10131-10131 科学研究和开发服务 是 专业的科技服务 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 9994-9994 专业的设计服务 是 专业的科技服务 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47612-47612
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47611-47611
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47610-47610


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