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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SmallElectricalApplianceManufacturing

Sigma KEE - SmallElectricalApplianceManufacturing
SmallElectricalApplianceManufacturing(小家電製造業)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5495-5497
No TPTP formula. May not be expressible in strict first order. naics.kif 5493-5493 子屬性 小家電製造業 and 家電製造業

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5499-5499 子屬性 家用電器和家用風扇製造 and 小家電製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 5508-5508 子屬性 家用吸塵器製造業 and 小家電製造業
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53480-53480
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53479-53479
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53478-53478


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