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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MolotovCocktail

Sigma KEE - FabricatedMetalProductManufacturing
FabricatedMetalProductManufacturing

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

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


(disjoint MiscellaneousManufacturing FabricatedMetalProductManufacturing) naics.kif 6146-6146
(subAttribute ArchitecturalAndStructuralMetalsManufacturing FabricatedMetalProductManufacturing) naics.kif 4323-4323
(subAttribute BoilerTankAndShippingContainerManufacturing FabricatedMetalProductManufacturing) naics.kif 4386-4386
(subAttribute CoatingEngravingHeatTreatingAndAlliedActivities FabricatedMetalProductManufacturing) naics.kif 4497-4497
(subAttribute CutleryAndHandtoolManufacturing FabricatedMetalProductManufacturing) naics.kif 4289-4289
(subAttribute ForgingAndStamping FabricatedMetalProductManufacturing) naics.kif 4243-4243
(subAttribute HardwareManufacturing FabricatedMetalProductManufacturing) naics.kif 4428-4428
(subAttribute MachineShopsTurnedProductAndScrewNutAndBoltManufacturing FabricatedMetalProductManufacturing) naics.kif 4462-4462
(subAttribute OtherFabricatedMetalProductManufacturing FabricatedMetalProductManufacturing) naics.kif 4528-4528
(subAttribute SpringAndWireProductManufacturing FabricatedMetalProductManufacturing) naics.kif 4434-4434
(termFormat ChineseLanguage FabricatedMetalProductManufacturing "金属制品制造") domainEnglishFormat.kif 23062-23062
(termFormat ChineseTraditionalLanguage FabricatedMetalProductManufacturing "金屬製品製造") domainEnglishFormat.kif 23061-23061
(termFormat EnglishLanguage FabricatedMetalProductManufacturing "fabricated metal product manufacturing") domainEnglishFormat.kif 23060-23060

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 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