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 專業的科技服務 and 行業屬性

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9900-9900 子屬性 會計稅務準備簿記和工資單服務 and 專業的科技服務
No TPTP formula. May not be expressible in strict first order. naics.kif 10153-10153 子屬性 廣告和相關服務 and 專業的科技服務
No TPTP formula. May not be expressible in strict first order. naics.kif 9935-9935 子屬性 建築工程及相關服務 and 專業的科技服務
No TPTP formula. May not be expressible in strict first order. naics.kif 10027-10027 子屬性 計算機系統設計和相關服務 and 專業的科技服務
No TPTP formula. May not be expressible in strict first order. naics.kif 9862-9862 子屬性 法律服務 and 專業的科技服務
No TPTP formula. May not be expressible in strict first order. naics.kif 10062-10062 子屬性 管理科學和技術諮詢服務 and 專業的科技服務
No TPTP formula. May not be expressible in strict first order. naics.kif 10213-10213 子屬性 其他專業的科學技術服務 and 專業的科技服務
No TPTP formula. May not be expressible in strict first order. naics.kif 10131-10131 子屬性 科學研究和開發服務 and 專業的科技服務
No TPTP formula. May not be expressible in strict first order. naics.kif 9994-9994 子屬性 專業的設計服務 and 專業的科技服務
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