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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlasticsPipeAndPipeFittingManufacturing

Sigma KEE - PlasticsPipeAndPipeFittingManufacturing
PlasticsPipeAndPipeFittingManufacturing(塑料管材和管件製造)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3570-3573
No TPTP formula. May not be expressible in strict first order. naics.kif 3568-3568 子屬性 塑料管材和管件製造 and 塑料管道配件和無支撐型材製造

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46202-46202
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46201-46201
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46200-46200


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