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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerAndElectronicProductManufacturing
ComputerAndElectronicProductManufacturing

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 5129-5131
(instance ComputerAndElectronicProductManufacturing IndustryAttribute) naics.kif 5127-5127

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


(disjoint MiscellaneousManufacturing ComputerAndElectronicProductManufacturing) naics.kif 6151-6151
(subAttribute AudioAndVideoEquipmentManufacturing ComputerAndElectronicProductManufacturing) naics.kif 5223-5223
(subAttribute CommunicationsEquipmentManufacturing ComputerAndElectronicProductManufacturing) naics.kif 5194-5194
(subAttribute ComputerAndPeripheralEquipmentManufacturing ComputerAndElectronicProductManufacturing) naics.kif 5159-5159
(subAttribute ManufacturingAndReproducingMagneticAndOpticalMedia ComputerAndElectronicProductManufacturing) naics.kif 5392-5392
(subAttribute NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing ComputerAndElectronicProductManufacturing) naics.kif 5300-5300
(subAttribute SemiconductorAndOtherElectronicComponentManufacturing ComputerAndElectronicProductManufacturing) naics.kif 5229-5229
(termFormat ChineseLanguage ComputerAndElectronicProductManufacturing "计算机和电子产品制造业") domainEnglishFormat.kif 16189-16189
(termFormat ChineseTraditionalLanguage ComputerAndElectronicProductManufacturing "計算機和電子產品製造業") domainEnglishFormat.kif 16188-16188
(termFormat EnglishLanguage ComputerAndElectronicProductManufacturing "computer and electronic product manufacturing") domainEnglishFormat.kif 16187-16187

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)
                                (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 5133-5157


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners