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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FabricatedMetalProductManufacturing
FabricatedMetalProductManufacturing(fabricated metal product manufacturing)

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


(documentation FabricatedMetalProductManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Fabricated Metal Product Manufacturing.") naics.kif 4221-4223
(externalImage FabricatedMetalProductManufacturing "http://upload.wikimedia.org/ wikipedia/ commons/ 9/ 94/ SMAW.welding.af.ncs.jpg") pictureList.kif 10988-10988
(instance FabricatedMetalProductManufacturing IndustryAttribute) naics.kif 4219-4219 Fabricated metal product manufacturing is an instance of industry attribute

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


(disjoint MiscellaneousManufacturing FabricatedMetalProductManufacturing) naics.kif 6146-6146 Miscellaneous manufacturing is disjoint from fabricated metal product manufacturing
(subAttribute ArchitecturalAndStructuralMetalsManufacturing FabricatedMetalProductManufacturing) naics.kif 4323-4323 Architectural and structural metals manufacturing is a subattribute of fabricated metal product manufacturing
(subAttribute BoilerTankAndShippingContainerManufacturing FabricatedMetalProductManufacturing) naics.kif 4386-4386 Boiler tank and shipping container manufacturing is a subattribute of fabricated metal product manufacturing
(subAttribute CoatingEngravingHeatTreatingAndAlliedActivities FabricatedMetalProductManufacturing) naics.kif 4497-4497 Coating engraving heat treating and allied activities is a subattribute of fabricated metal product manufacturing
(subAttribute CutleryAndHandtoolManufacturing FabricatedMetalProductManufacturing) naics.kif 4289-4289 Cutlery and handtool manufacturing is a subattribute of fabricated metal product manufacturing
(subAttribute ForgingAndStamping FabricatedMetalProductManufacturing) naics.kif 4243-4243 Forging and stamping is a subattribute of fabricated metal product manufacturing
(subAttribute HardwareManufacturing FabricatedMetalProductManufacturing) naics.kif 4428-4428 Hardware manufacturing is a subattribute of fabricated metal product manufacturing
(subAttribute MachineShopsTurnedProductAndScrewNutAndBoltManufacturing FabricatedMetalProductManufacturing) naics.kif 4462-4462 Machine shops turned product and screw nut and bolt manufacturing is a subattribute of fabricated metal product manufacturing
(subAttribute OtherFabricatedMetalProductManufacturing FabricatedMetalProductManufacturing) naics.kif 4528-4528 Other fabricated metal product manufacturing is a subattribute of fabricated metal product manufacturing
(subAttribute SpringAndWireProductManufacturing FabricatedMetalProductManufacturing) naics.kif 4434-4434 Spring and wire product manufacturing is a subattribute of fabricated metal product manufacturing
(termFormat ChineseLanguage FabricatedMetalProductManufacturing "金属制品制造") domainEnglishFormat.kif 23082-23082 Spring and wire product manufacturing is a subattribute of fabricated metal product manufacturing
(termFormat ChineseTraditionalLanguage FabricatedMetalProductManufacturing "金屬製品製造") domainEnglishFormat.kif 23081-23081 Spring and wire product manufacturing is a subattribute of fabricated metal product manufacturing
(termFormat EnglishLanguage FabricatedMetalProductManufacturing "fabricated metal product manufacturing") domainEnglishFormat.kif 23080-23080 Spring and wire product manufacturing is a subattribute of fabricated metal product manufacturing

antecedent
-------------------------


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG FabricatedMetalProductManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (instance ?THING Metal)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 4225-4241


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