TreeView Knowledge Base Browser - MiscellaneousManufacturing

appearance as argument number 1

(disjoint MiscellaneousManufacturing ChemicalManufacturing)	naics.kif 6150-6150	MiscellaneousManufacturing ist dijunkt von ChemicalManufacturing %n{nicht}
(disjoint MiscellaneousManufacturing ComputerAndElectronicProductManufacturing)	naics.kif 6144-6144	MiscellaneousManufacturing ist dijunkt von ComputerAndElectronicProductManufacturing %n{nicht}
(disjoint MiscellaneousManufacturing ElectricalEquipmentApplianceAndComponentManufacturing)	naics.kif 6143-6143	MiscellaneousManufacturing ist dijunkt von ElectricalEquipmentApplianceAndComponentManufacturing %n{nicht}
(disjoint MiscellaneousManufacturing FabricatedMetalProductManufacturing)	naics.kif 6146-6146	MiscellaneousManufacturing ist dijunkt von FabricatedMetalProductManufacturing %n{nicht}
(disjoint MiscellaneousManufacturing FurnitureAndRelatedProductManufacturing)	naics.kif 6141-6141	MiscellaneousManufacturing ist dijunkt von FurnitureAndRelatedProductManufacturing %n{nicht}
(disjoint MiscellaneousManufacturing MachineryManufacturing)	naics.kif 6145-6145	MiscellaneousManufacturing ist dijunkt von MachineryManufacturing %n{nicht}
(disjoint MiscellaneousManufacturing NonmetallicMineralProductManufacturing)	naics.kif 6148-6148	MiscellaneousManufacturing ist dijunkt von NonmetallicMineralProductManufacturing %n{nicht}
(disjoint MiscellaneousManufacturing PetroleumAndCoalProductsManufacturing)	naics.kif 6151-6151	MiscellaneousManufacturing ist dijunkt von PetroleumAndCoalProductsManufacturing %n{nicht}
(disjoint MiscellaneousManufacturing PlasticsAndRubberProductsManufacturing)	naics.kif 6149-6149	MiscellaneousManufacturing ist dijunkt von PlasticsAndRubberProductsManufacturing %n{nicht}
(disjoint MiscellaneousManufacturing PrimaryMetalManufacturing)	naics.kif 6147-6147	MiscellaneousManufacturing ist dijunkt von PrimaryMetalManufacturing %n{nicht}
(disjoint MiscellaneousManufacturing TransportationEquipmentManufacturing)	naics.kif 6142-6142	MiscellaneousManufacturing ist dijunkt von TransportationEquipmentManufacturing %n{nicht}
(documentation MiscellaneousManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Miscellaneous Manufacturing.")	naics.kif 6137-6139
(instance MiscellaneousManufacturing IndustryAttribute)	naics.kif 6135-6135	MiscellaneousManufacturing ist ein fall von IndustryAttribute %n{nicht}

appearance as argument number 2

(subAttribute MedicalEquipmentAndSuppliesManufacturing MiscellaneousManufacturing)	naics.kif 6171-6171	MedicalEquipmentAndSuppliesManufacturing ist ein teilattribut von MiscellaneousManufacturing
(subAttribute OtherMiscellaneousManufacturing MiscellaneousManufacturing)	naics.kif 6219-6219	OtherMiscellaneousManufacturing ist ein teilattribut von MiscellaneousManufacturing
(termFormat ChineseLanguage MiscellaneousManufacturing "杂项制造业")	domainEnglishFormat.kif 38003-38003
(termFormat ChineseTraditionalLanguage MiscellaneousManufacturing "雜項製造業")	domainEnglishFormat.kif 38002-38002
(termFormat EnglishLanguage MiscellaneousManufacturing "miscellaneous manufacturing")	domainEnglishFormat.kif 38001-38001

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

Wenn Collection ist ein fall von Organization %n{nicht} und MiscellaneousManufacturing ist ein attribut von ** Collection %n{nicht},
dann es gibt AutonomousAgent und Process um ** Process ist ein Mitglied von ** Collection %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} und es gibt Entity, ** Process2, and und ** AutonomousAgent2 um ** AutonomousAgent ist ein fall von Manufacture %n{nicht} und ** Entity ist ein fall von Object %n{nicht} und ** Entity ist ein patient von ** AutonomousAgent %n{nicht} und ** Process2 ist ein Mitglied von ** Collection %n{nicht} und ** AutonomousAgent2 ist ein fall von Selling %n{nicht} und ** AutonomousAgent2 ist der agent von ** Process2 %n{nicht} und ** Entity ist ein patient von ** AutonomousAgent2 %n{nicht}

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

KB Term:			Term intersection

English Word: