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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MiscellaneousManufacturing
MiscellaneousManufacturing

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


(disjoint MiscellaneousManufacturing ChemicalManufacturing) naics.kif 6157-6157
(disjoint MiscellaneousManufacturing ComputerAndElectronicProductManufacturing) naics.kif 6151-6151
(disjoint MiscellaneousManufacturing ElectricalEquipmentApplianceAndComponentManufacturing) naics.kif 6150-6150
(disjoint MiscellaneousManufacturing FabricatedMetalProductManufacturing) naics.kif 6153-6153
(disjoint MiscellaneousManufacturing FurnitureAndRelatedProductManufacturing) naics.kif 6148-6148
(disjoint MiscellaneousManufacturing MachineryManufacturing) naics.kif 6152-6152
(disjoint MiscellaneousManufacturing NonmetallicMineralProductManufacturing) naics.kif 6155-6155
(disjoint MiscellaneousManufacturing PetroleumAndCoalProductsManufacturing) naics.kif 6158-6158
(disjoint MiscellaneousManufacturing PlasticsAndRubberProductsManufacturing) naics.kif 6156-6156
(disjoint MiscellaneousManufacturing PrimaryMetalManufacturing) naics.kif 6154-6154
(disjoint MiscellaneousManufacturing TransportationEquipmentManufacturing) naics.kif 6149-6149
(documentation MiscellaneousManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Miscellaneous Manufacturing.") naics.kif 6144-6146
(instance MiscellaneousManufacturing IndustryAttribute) naics.kif 6142-6142

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


(subAttribute MedicalEquipmentAndSuppliesManufacturing MiscellaneousManufacturing) naics.kif 6178-6178
(subAttribute OtherMiscellaneousManufacturing MiscellaneousManufacturing) naics.kif 6226-6226
(termFormat ChineseLanguage MiscellaneousManufacturing "杂项制造业") domainEnglishFormat.kif 37903-37903
(termFormat ChineseTraditionalLanguage MiscellaneousManufacturing "雜項製造業") domainEnglishFormat.kif 37902-37902
(termFormat EnglishLanguage MiscellaneousManufacturing "miscellaneous manufacturing") domainEnglishFormat.kif 37901-37901

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG MiscellaneousManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (instance ?THING Object)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 6160-6176


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