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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ManagementConsultingServices

Sigma KEE - ManagementConsultingServices
ManagementConsultingServices

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10071-10073
No TPTP formula. May not be expressible in strict first order. naics.kif 10069-10069 ManagementConsultingServices est un sous-attribut de ManagementScientificAndTechnicalConsultingServices

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10075-10075 AdministrativeManagementAndGeneralManagementConsultingServices est un sous-attribut de ManagementConsultingServices
No TPTP formula. May not be expressible in strict first order. naics.kif 10084-10084 HumanResourcesAndExecutiveSearchConsultingServices est un sous-attribut de ManagementConsultingServices
No TPTP formula. May not be expressible in strict first order. naics.kif 10092-10092 MarketingConsultingServices est un sous-attribut de ManagementConsultingServices
No TPTP formula. May not be expressible in strict first order. naics.kif 10108-10108 OtherManagementConsultingServices est un sous-attribut de ManagementConsultingServices
No TPTP formula. May not be expressible in strict first order. naics.kif 10099-10099 ProcessPhysicalDistributionAndLogisticsConsultingServices est un sous-attribut de ManagementConsultingServices
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35909-35909
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35908-35908
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35907-35907


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