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 ProfessionalScientificAndTechnicalServices est une instance de IndustryAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9900-9900 AccountingTaxPreparationBookkeepingAndPayrollServices est un sous-attribut de ProfessionalScientificAndTechnicalServices
No TPTP formula. May not be expressible in strict first order. naics.kif 10153-10153 AdvertisingAndRelatedServices est un sous-attribut de ProfessionalScientificAndTechnicalServices
No TPTP formula. May not be expressible in strict first order. naics.kif 9935-9935 ArchitecturalEngineeringAndRelatedServices est un sous-attribut de ProfessionalScientificAndTechnicalServices
No TPTP formula. May not be expressible in strict first order. naics.kif 10027-10027 ComputerSystemsDesignAndRelatedServices est un sous-attribut de ProfessionalScientificAndTechnicalServices
No TPTP formula. May not be expressible in strict first order. naics.kif 9862-9862 LegalServices est un sous-attribut de ProfessionalScientificAndTechnicalServices
No TPTP formula. May not be expressible in strict first order. naics.kif 10062-10062 ManagementScientificAndTechnicalConsultingServices est un sous-attribut de ProfessionalScientificAndTechnicalServices
No TPTP formula. May not be expressible in strict first order. naics.kif 10213-10213 OtherProfessionalScientificAndTechnicalServices est un sous-attribut de ProfessionalScientificAndTechnicalServices
No TPTP formula. May not be expressible in strict first order. naics.kif 10131-10131 ScientificResearchAndDevelopmentServices est un sous-attribut de ProfessionalScientificAndTechnicalServices
No TPTP formula. May not be expressible in strict first order. naics.kif 9994-9994 SpecializedDesignServices est un sous-attribut de ProfessionalScientificAndTechnicalServices
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