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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlateWorkManufacturing
PlateWorkManufacturing(plate work manufacturing)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4353-4356
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10193-10193
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11629-11629
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11626-11626
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11628-11628
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11630-11630
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11624-11624
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11627-11627
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11625-11625
No TPTP formula. May not be expressible in strict first order. naics.kif 4351-4351 Plate work manufacturing is a subattribute of plate work and fabricated structural product manufacturing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46236-46236
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46235-46235
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46234-46234


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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