ComputerAndElectronicProductManufacturing - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ComputerAndElectronicProductManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Computer and Electronic Product Manufacturing.")	naics.kif 5122-5124
(instance ComputerAndElectronicProductManufacturing IndustryAttribute)	naics.kif 5120-5120	Computer and electronic product manufacturing is an instance of industry attribute

appearance as argument number 2

(disjoint MiscellaneousManufacturing ComputerAndElectronicProductManufacturing)	naics.kif 6144-6144	Miscellaneous manufacturing is disjoint from computer and electronic product manufacturing
(subAttribute AudioAndVideoEquipmentManufacturing ComputerAndElectronicProductManufacturing)	naics.kif 5216-5216	Audio and video equipment manufacturing is a subattribute of computer and electronic product manufacturing
(subAttribute CommunicationsEquipmentManufacturing ComputerAndElectronicProductManufacturing)	naics.kif 5187-5187	Communications equipment manufacturing is a subattribute of computer and electronic product manufacturing
(subAttribute ComputerAndPeripheralEquipmentManufacturing ComputerAndElectronicProductManufacturing)	naics.kif 5152-5152	Computer and peripheral equipment manufacturing is a subattribute of computer and electronic product manufacturing
(subAttribute ManufacturingAndReproducingMagneticAndOpticalMedia ComputerAndElectronicProductManufacturing)	naics.kif 5385-5385	Manufacturing and reproducing magnetic and optical media is a subattribute of computer and electronic product manufacturing
(subAttribute NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing ComputerAndElectronicProductManufacturing)	naics.kif 5293-5293	Navigational measuring electromedical and control instruments manufacturing is a subattribute of computer and electronic product manufacturing
(subAttribute SemiconductorAndOtherElectronicComponentManufacturing ComputerAndElectronicProductManufacturing)	naics.kif 5222-5222	Semiconductor and other electronic component manufacturing is a subattribute of computer and electronic product manufacturing
(termFormat ChineseLanguage ComputerAndElectronicProductManufacturing "计算机和电子产品制造业")	domainEnglishFormat.kif 16276-16276	Semiconductor and other electronic component manufacturing is a subattribute of computer and electronic product manufacturing
(termFormat ChineseTraditionalLanguage ComputerAndElectronicProductManufacturing "計算機和電子產品製造業")	domainEnglishFormat.kif 16275-16275	Semiconductor and other electronic component manufacturing is a subattribute of computer and electronic product manufacturing
(termFormat EnglishLanguage ComputerAndElectronicProductManufacturing "computer and electronic product manufacturing")	domainEnglishFormat.kif 16274-16274	Semiconductor and other electronic component manufacturing is a subattribute of computer and electronic product manufacturing

antecedent

(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG ComputerAndElectronicProductManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (or
                        (instance ?THING Computer)
                        (and
                            (instance ?THING Machine)
                            (exists (?EV3 ?ELEC)
                                (and
                                    (patient ?EV3 ?THING)
                                    (resource ?EV3 ?ELEC)
                                    (instance ?ELEC Electricity)))))
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))

naics.kif 5126-5150

If a collection is an instance of organization and computer and electronic product manufacturing is an attribute of the collection,
then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of computer or the entity is an instance of machine and there exist the agent3 and an object such that the entity is a patient of the agent3 and the object is a resource for the agent3 and the object is an instance of electricity and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2

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

KB Term:			Term intersection

English Word: