Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ComputerAndElectronicProductManufacturing

 Sigma KEE - ComputerAndElectronicProductManufacturing
ComputerAndElectronicProductManufacturing(computer and electronic product manufacturing)

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


(instance ComputerAndElectronicProductManufacturing IndustryAttribute) naics.kif 5114-5114 Computer and electronic product manufacturing is an instance of industry attribute
(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 5116-5118 Computer and electronic product manufacturing is an instance of industry attribute

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


(termFormat EnglishLanguage ComputerAndElectronicProductManufacturing "computer and electronic product manufacturing") domainEnglishFormat.kif 16260-16260
(termFormat ChineseTraditionalLanguage ComputerAndElectronicProductManufacturing "計算機和電子產品製造業") domainEnglishFormat.kif 16261-16261
(termFormat ChineseLanguage ComputerAndElectronicProductManufacturing "计算机和电子产品制造业") domainEnglishFormat.kif 16262-16262
(subAttribute ComputerAndPeripheralEquipmentManufacturing ComputerAndElectronicProductManufacturing) naics.kif 5146-5146 Computer and peripheral equipment manufacturing is a subattribute of computer and electronic product manufacturing
(subAttribute CommunicationsEquipmentManufacturing ComputerAndElectronicProductManufacturing) naics.kif 5181-5181 Communications equipment manufacturing is a subattribute of computer and electronic product manufacturing
(subAttribute AudioAndVideoEquipmentManufacturing ComputerAndElectronicProductManufacturing) naics.kif 5210-5210 Audio and video equipment manufacturing is a subattribute of computer and electronic product manufacturing
(subAttribute SemiconductorAndOtherElectronicComponentManufacturing ComputerAndElectronicProductManufacturing) naics.kif 5216-5216 Semiconductor and other electronic component manufacturing is a subattribute of computer and electronic product manufacturing
(subAttribute NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing ComputerAndElectronicProductManufacturing) naics.kif 5287-5287 Navigational measuring electromedical and control instruments manufacturing is a subattribute of computer and electronic product manufacturing
(subAttribute ManufacturingAndReproducingMagneticAndOpticalMedia ComputerAndElectronicProductManufacturing) naics.kif 5379-5379 Manufacturing and reproducing magnetic and optical media is a subattribute of computer and electronic product manufacturing
(disjoint MiscellaneousManufacturing ComputerAndElectronicProductManufacturing) naics.kif 6141-6141 Miscellaneous manufacturing is disjoint from 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 5120-5144 If X is an instance of organization and computer and electronic product manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of computer or W is an instance of machine (7) there exist T (8) S such that W is a patient of T (9) S is a resource for T (10) S is an instance of electricity (11) W is a patient of Y (12) V is a member of X (13) U is an instance of selling (14) V is an agent of U (15) W is a patient of U


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners