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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SemiconductorAndOtherElectronicComponentManufacturing

Sigma KEE - SemiconductorAndOtherElectronicComponentManufacturing
SemiconductorAndOtherElectronicComponentManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5224-5227
No TPTP formula. May not be expressible in strict first order. naics.kif 5222-5222 SemiconductorAndOtherElectronicComponentManufacturing e' um sub-atributo de ComputerAndElectronicProductManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5235-5235 BarePrintedCircuitBoardManufacturing e' um sub-atributo de SemiconductorAndOtherElectronicComponentManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5229-5229 ElectronTubeManufacturing e' um sub-atributo de SemiconductorAndOtherElectronicComponentManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5249-5249 ElectronicCapacitorManufacturing e' um sub-atributo de SemiconductorAndOtherElectronicComponentManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5263-5263 ElectronicCoilTransformerAndOtherInductorManufacturing e' um sub-atributo de SemiconductorAndOtherElectronicComponentManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5271-5271 ElectronicConnectorManufacturing e' um sub-atributo de SemiconductorAndOtherElectronicComponentManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5256-5256 ElectronicResistorManufacturing e' um sub-atributo de SemiconductorAndOtherElectronicComponentManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5286-5286 OtherElectronicComponentManufacturing e' um sub-atributo de SemiconductorAndOtherElectronicComponentManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5278-5278 PrintedCircuitAssemblyElectronicAssemblyManufacturing e' um sub-atributo de SemiconductorAndOtherElectronicComponentManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5242-5242 SemiconductorAndRelatedDeviceManufacturing e' um sub-atributo de SemiconductorAndOtherElectronicComponentManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52023-52023
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52022-52022
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52021-52021


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