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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ManagementScientificAndTechnicalConsultingServices
ManagementScientificAndTechnicalConsultingServices(management scientific and technical consulting services)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9987-9990
No TPTP formula. May not be expressible in strict first order. naics.kif 9985-9985 Management scientific and technical consulting services is a subattribute of professional scientific and technical services

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10040-10040 Environmental consulting services is a subattribute of management scientific and technical consulting services
No TPTP formula. May not be expressible in strict first order. naics.kif 9992-9992 Management consulting services is a subattribute of management scientific and technical consulting services
No TPTP formula. May not be expressible in strict first order. naics.kif 10047-10047 Other scientific and technical consulting services is a subattribute of management scientific and technical consulting services
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35815-35815
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35814-35814
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35813-35813


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners