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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AllOtherElectricalEquipmentAndComponentManufacturing

Sigma KEE - AllOtherElectricalEquipmentAndComponentManufacturing
AllOtherElectricalEquipmentAndComponentManufacturing(所有其他電氣設備和部件製造)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5657-5660
No TPTP formula. May not be expressible in strict first order. naics.kif 5655-5655 子屬性 所有其他電氣設備和部件製造 and 其他電氣設備和部件製造

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5669-5669 子屬性 所有其他雜項電氣設備和部件製造 and 所有其他電氣設備和部件製造
No TPTP formula. May not be expressible in strict first order. naics.kif 5662-5662 子屬性 碳和石墨產品製造 and 所有其他電氣設備和部件製造
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6624-6624
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6623-6623
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6622-6622


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