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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DentalLaboratories

 Sigma KEE - DentalLaboratories
DentalLaboratories(dental laboratories)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6215-6217
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10840-10840
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9979-9979
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10839-10839
No TPTP formula. May not be expressible in strict first order. naics.kif 6213-6213 Dental laboratories is a subattribute of medical equipment and supplies manufacturing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19068-19068
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19067-19067
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19066-19066


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