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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IndustryAttribute
IndustryAttribute

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


(documentation IndustryAttribute EnglishLanguage "IndustryAttribute is a class of Attributes which identify an Organization as belonging to a particular industry type. For example, the company Hallmark has the attribute GreetingCardPublishers.") naics.kif 23-25
(subclass IndustryAttribute RelationalAttribute) naics.kif 21-21

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


(instance AccommodationAndFoodServices IndustryAttribute) naics.kif 11553-11553
(instance AdministrativeAndSupportAndWasteManagementAndRemediationServices IndustryAttribute) naics.kif 10298-10298
(instance AgriculturalSector IndustryAttribute) Economy.kif 1137-1137
(instance AgricultureForestryFishingAndHunting IndustryAttribute) naics.kif 44-44
(instance AirTransportationIndustry IndustryAttribute) naics.kif 7947-7947
(instance ApparelManufacturing IndustryAttribute) naics.kif 2188-2188
(instance ArtsEntertainmentAndRecreation IndustryAttribute) naics.kif 11264-11264
(instance BarleyFarming IndustryAttribute) Economy.kif 5212-5212
(instance BeverageAndTobaccoProductManufacturing IndustryAttribute) naics.kif 1824-1824
(instance BuildingMaterialAndGardenEquipmentAndSuppliesDealers IndustryAttribute) naics.kif 7235-7235
(instance CerealGrainFarming IndustryAttribute) Economy.kif 5195-5195
(instance ChemicalManufacturing IndustryAttribute) naics.kif 3119-3119
(instance CivilProductAttribute IndustryAttribute) Mid-level-ontology.kif 30392-30392
(instance ClothingAndClothingAccessoriesStores IndustryAttribute) naics.kif 7500-7500
(instance CoalIndustry IndustryAttribute) Economy.kif 1724-1724
(instance ComputerAndElectronicProductManufacturing IndustryAttribute) naics.kif 5120-5120
(instance Construction IndustryAttribute) naics.kif 1074-1074
(instance ConsumerGoodsIndustry IndustryAttribute) Economy.kif 1732-1732
(instance CopperIndustry IndustryAttribute) Economy.kif 1735-1735
(instance CouriersAndMessengers IndustryAttribute) naics.kif 8729-8729
(instance EducationalServices IndustryAttribute) naics.kif 10727-10727
(instance ElectricalEquipmentApplianceAndComponentManufacturing IndustryAttribute) naics.kif 5414-5414
(instance ElectronicsAndApplianceStores IndustryAttribute) naics.kif 7179-7179
(instance FabricatedMetalProductManufacturing IndustryAttribute) naics.kif 4219-4219
(instance FertilizerIndustry IndustryAttribute) Economy.kif 1748-1748

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain industryOfArea 2 IndustryAttribute) Economy.kif 1590-1590
(domain industryProductType 1 IndustryAttribute) Economy.kif 1611-1611
(domain industryRankByOutput 2 IndustryAttribute) Economy.kif 1598-1598
(domain industryServiceType 1 IndustryAttribute) Economy.kif 1653-1653
(domain sectorCompositionOfGDP 2 IndustryAttribute) Economy.kif 1069-1069
(domain sectorCompositionOfGDPInPeriod 2 IndustryAttribute) Economy.kif 1052-1052
(domain sectorValueOfGDP 2 IndustryAttribute) Economy.kif 1115-1115
(domain sectorValueOfGDPInPeriod 2 IndustryAttribute) Economy.kif 1091-1091

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


(=>
    (and
        (industryProductType ?INDUSTRY ?TYPE)
        (instance ?INDUSTRY IndustryAttribute)
        (instance ?BUSINESS Organization)
        (attribute ?BUSINESS ?INDUSTRY))
    (organizationProductType ?BUSINESS ?TYPE))
Economy.kif 1644-1650
(=>
    (and
        (industryServiceType ?INDUSTRY ?TYPE)
        (instance ?INDUSTRY IndustryAttribute)
        (instance ?BUSINESS Organization)
        (attribute ?BUSINESS ?INDUSTRY))
    (organizationServiceType ?BUSINESS ?TYPE))
Economy.kif 1684-1690
(=>
    (and
        (instance ?ATTR IndustryAttribute)
        (attribute ?OBJ ?ATTR))
    (instance ?OBJ Organization))
Media.kif 1880-1884


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