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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MiscellaneousManufacturing

 Sigma KEE - MiscellaneousManufacturing
MiscellaneousManufacturing

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


(disjoint MiscellaneousManufacturing ChemicalManufacturing) naics.kif 6150-6150 MiscellaneousManufacturing と ChemicalManufacturing は disjoint では %n
(disjoint MiscellaneousManufacturing ComputerAndElectronicProductManufacturing) naics.kif 6144-6144 MiscellaneousManufacturing と ComputerAndElectronicProductManufacturing は disjoint では %n
(disjoint MiscellaneousManufacturing ElectricalEquipmentApplianceAndComponentManufacturing) naics.kif 6143-6143 MiscellaneousManufacturing と ElectricalEquipmentApplianceAndComponentManufacturing は disjoint では %n
(disjoint MiscellaneousManufacturing FabricatedMetalProductManufacturing) naics.kif 6146-6146 MiscellaneousManufacturing と FabricatedMetalProductManufacturing は disjoint では %n
(disjoint MiscellaneousManufacturing FurnitureAndRelatedProductManufacturing) naics.kif 6141-6141 MiscellaneousManufacturing と FurnitureAndRelatedProductManufacturing は disjoint では %n
(disjoint MiscellaneousManufacturing MachineryManufacturing) naics.kif 6145-6145 MiscellaneousManufacturing と MachineryManufacturing は disjoint では %n
(disjoint MiscellaneousManufacturing NonmetallicMineralProductManufacturing) naics.kif 6148-6148 MiscellaneousManufacturing と NonmetallicMineralProductManufacturing は disjoint では %n
(disjoint MiscellaneousManufacturing PetroleumAndCoalProductsManufacturing) naics.kif 6151-6151 MiscellaneousManufacturing と PetroleumAndCoalProductsManufacturing は disjoint では %n
(disjoint MiscellaneousManufacturing PlasticsAndRubberProductsManufacturing) naics.kif 6149-6149 MiscellaneousManufacturing と PlasticsAndRubberProductsManufacturing は disjoint では %n
(disjoint MiscellaneousManufacturing PrimaryMetalManufacturing) naics.kif 6147-6147 MiscellaneousManufacturing と PrimaryMetalManufacturing は disjoint では %n
(disjoint MiscellaneousManufacturing TransportationEquipmentManufacturing) naics.kif 6142-6142 MiscellaneousManufacturing と TransportationEquipmentManufacturing は disjoint では %n
(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 は IndustryAttribute の instance では %n

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


(subAttribute MedicalEquipmentAndSuppliesManufacturing MiscellaneousManufacturing) naics.kif 6171-6171 MedicalEquipmentAndSuppliesManufacturing は MiscellaneousManufacturing の subattribute では %n
(subAttribute OtherMiscellaneousManufacturing MiscellaneousManufacturing) naics.kif 6219-6219 OtherMiscellaneousManufacturing は MiscellaneousManufacturing の subattribute では %n
(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


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