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 e' uma instancia de IndustryAttribute

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


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