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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FabricatedStructuralMetalManufacturing
FabricatedStructuralMetalManufacturing(製造結構金屬製造)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4346-4349
No TPTP formula. May not be expressible in strict first order. naics.kif 4344-4344 子屬性 製造結構金屬製造 and 板材加工和製造結構產品製造

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23074-23074
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23073-23073
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23072-23072


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