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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MiscellaneousManufacturing
MiscellaneousManufacturing(miscellaneous manufacturing)

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


(disjoint MiscellaneousManufacturing ChemicalManufacturing) naics.kif 6150-6150 Miscellaneous manufacturing is disjoint from chemical manufacturing
(disjoint MiscellaneousManufacturing ComputerAndElectronicProductManufacturing) naics.kif 6144-6144 Miscellaneous manufacturing is disjoint from computer and electronic product manufacturing
(disjoint MiscellaneousManufacturing ElectricalEquipmentApplianceAndComponentManufacturing) naics.kif 6143-6143 Miscellaneous manufacturing is disjoint from electrical equipment appliance and component manufacturing
(disjoint MiscellaneousManufacturing FabricatedMetalProductManufacturing) naics.kif 6146-6146 Miscellaneous manufacturing is disjoint from fabricated metal product manufacturing
(disjoint MiscellaneousManufacturing FurnitureAndRelatedProductManufacturing) naics.kif 6141-6141 Miscellaneous manufacturing is disjoint from furniture and related product manufacturing
(disjoint MiscellaneousManufacturing MachineryManufacturing) naics.kif 6145-6145 Miscellaneous manufacturing is disjoint from machinery manufacturing
(disjoint MiscellaneousManufacturing NonmetallicMineralProductManufacturing) naics.kif 6148-6148 Miscellaneous manufacturing is disjoint from nonmetallic mineral product manufacturing
(disjoint MiscellaneousManufacturing PetroleumAndCoalProductsManufacturing) naics.kif 6151-6151 Miscellaneous manufacturing is disjoint from petroleum and coal products manufacturing
(disjoint MiscellaneousManufacturing PlasticsAndRubberProductsManufacturing) naics.kif 6149-6149 Miscellaneous manufacturing is disjoint from plastics and rubber products manufacturing
(disjoint MiscellaneousManufacturing PrimaryMetalManufacturing) naics.kif 6147-6147 Miscellaneous manufacturing is disjoint from primary metal manufacturing
(disjoint MiscellaneousManufacturing TransportationEquipmentManufacturing) naics.kif 6142-6142 Miscellaneous manufacturing is disjoint from transportation equipment manufacturing
(documentation MiscellaneousManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Miscellaneous Manufacturing.") naics.kif 6137-6139 Miscellaneous manufacturing is disjoint from transportation equipment manufacturing
(instance MiscellaneousManufacturing IndustryAttribute) naics.kif 6135-6135 Miscellaneous manufacturing is an instance of industry attribute

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


(subAttribute MedicalEquipmentAndSuppliesManufacturing MiscellaneousManufacturing) naics.kif 6171-6171 Medical equipment and supplies manufacturing is a subattribute of miscellaneous manufacturing
(subAttribute OtherMiscellaneousManufacturing MiscellaneousManufacturing) naics.kif 6219-6219 Other miscellaneous manufacturing is a subattribute of miscellaneous manufacturing
(termFormat ChineseLanguage MiscellaneousManufacturing "杂项制造业") domainEnglishFormat.kif 38037-38037 Other miscellaneous manufacturing is a subattribute of miscellaneous manufacturing
(termFormat ChineseTraditionalLanguage MiscellaneousManufacturing "雜項製造業") domainEnglishFormat.kif 38036-38036 Other miscellaneous manufacturing is a subattribute of miscellaneous manufacturing
(termFormat EnglishLanguage MiscellaneousManufacturing "miscellaneous manufacturing") domainEnglishFormat.kif 38035-38035 Other miscellaneous manufacturing is a subattribute of miscellaneous manufacturing

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


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