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

Formal Language: 



KB Term:  Term intersection
English Word: 

  numberOfCPUs

Sigma KEE - SpecializedDesignServices
SpecializedDesignServices(specialized design services)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9996-9998
No TPTP formula. May not be expressible in strict first order. naics.kif 9994-9994 Specialized design 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 10014-10014 Graphic design services is a subattribute of specialized design services
No TPTP formula. May not be expressible in strict first order. naics.kif 10007-10007 Industrial design services is a subattribute of specialized design services
No TPTP formula. May not be expressible in strict first order. naics.kif 10000-10000 Interior design services is a subattribute of specialized design services
No TPTP formula. May not be expressible in strict first order. naics.kif 10020-10020 Other specialized design services is a subattribute of specialized design services
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54506-54506
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54505-54505
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54504-54504


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