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



KB Term:  Term intersection
English Word: 

  IndustryAttribute

Sigma KEE - IndustryAttribute
IndustryAttribute(industry attribute)

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


(subclass IndustryAttribute RelationalAttribute) Mid-level-ontology.kif 33597-33597 Industry attribute is a subclass of relational attribute
(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.") Mid-level-ontology.kif 33598-33600 Industry attribute is a subclass of relational attribute

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


(instance CivilProductAttribute IndustryAttribute) Mid-level-ontology.kif 33602-33602 Civil is an instance of industry attribute
(instance MechanicalProductAttribute IndustryAttribute) Mid-level-ontology.kif 33605-33605 Mechanical is an instance of industry attribute
(instance AgriculturalSector IndustryAttribute) Economy.kif 1231-1231 Agricultural sector is an instance of industry attribute
(instance IndustrialSector IndustryAttribute) Economy.kif 1232-1232 Industrial sector is an instance of industry attribute
(instance ServiceSector IndustryAttribute) Economy.kif 1233-1233 Service sector is an instance of industry attribute
(instance CoalIndustry IndustryAttribute) Economy.kif 1833-1833 Coal industry is an instance of industry attribute
(instance ConsumerGoodsIndustry IndustryAttribute) Economy.kif 1841-1841 Consumer goods industry is an instance of industry attribute
(instance CopperIndustry IndustryAttribute) Economy.kif 1844-1844 Copper industry is an instance of industry attribute
(instance FertilizerIndustry IndustryAttribute) Economy.kif 1857-1857 Fertilizer industry is an instance of industry attribute
(instance FurnitureIndustry IndustryAttribute) Economy.kif 1871-1871 Furniture industry is an instance of industry attribute
(instance HandicraftIndustry IndustryAttribute) Economy.kif 1878-1878 Handicraft industry is an instance of industry attribute
(instance LeadIndustry IndustryAttribute) Economy.kif 1882-1882 Lead industry is an instance of industry attribute
(instance LeadManufacturing IndustryAttribute) Economy.kif 1890-1890 Lead manufacturing is an instance of industry attribute
(instance LumberIndustry IndustryAttribute) Economy.kif 1893-1893 Lumber industry is an instance of industry attribute
(instance MetallurgyIndustry IndustryAttribute) Economy.kif 1907-1907 Metallurgy industry is an instance of industry attribute
(instance MiningIndustry IndustryAttribute) Economy.kif 1917-1917 Mining industry is an instance of industry attribute
(instance MotorVehicleIndustry IndustryAttribute) Economy.kif 1931-1931 Motor vehicle industry is an instance of industry attribute
(instance NaturalGasIndustry IndustryAttribute) Economy.kif 1942-1942 Natural gas industry is an instance of industry attribute
(instance PetroleumIndustry IndustryAttribute) Economy.kif 1949-1949 Petroleum industry is an instance of industry attribute
(instance RefrigeratorAndFreezerIndustry IndustryAttribute) Economy.kif 1969-1969 Refrigerator and freezer industry is an instance of industry attribute
(instance RefrigerationEquipmentManufacturing IndustryAttribute) Economy.kif 1978-1978 Refrigeration equipment manufacturing is an instance of industry attribute
(instance SteelIndustry IndustryAttribute) Economy.kif 1985-1985 Steel industry is an instance of industry attribute
(instance TextileIndustry IndustryAttribute) Economy.kif 2003-2003 Textile industry is an instance of industry attribute
(instance TourismIndustry IndustryAttribute) Economy.kif 2011-2011 Tourism industry is an instance of industry attribute
(instance VegetableOilIndustry IndustryAttribute) Economy.kif 2028-2028 Vegetable oil industry is an instance of industry attribute

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain sectorCompositionOfGDPInPeriod 2 IndustryAttribute) Economy.kif 1146-1146 The number 2 argument of sector composition of GDP in period is an instance of industry attribute
(domain sectorCompositionOfGDP 2 IndustryAttribute) Economy.kif 1163-1163 The number 2 argument of sector composition ofGDP is an instance of industry attribute
(domain sectorValueOfGDPInPeriod 2 IndustryAttribute) Economy.kif 1185-1185 The number 2 argument of sector value of GDP in period is an instance of industry attribute
(domain sectorValueOfGDP 2 IndustryAttribute) Economy.kif 1209-1209 The number 2 argument of sector value of GDP is an instance of industry attribute
(domain industryOfArea 2 IndustryAttribute) Economy.kif 1699-1699 The number 2 argument of industry of area is an instance of industry attribute
(domain industryRankByOutput 2 IndustryAttribute) Economy.kif 1707-1707 The number 2 argument of industry rank by output is an instance of industry attribute
(domain industryProductType 1 IndustryAttribute) Economy.kif 1720-1720 The number 1 argument of industry product type is an instance of industry attribute
(domain industryServiceType 1 IndustryAttribute) Economy.kif 1762-1762 The number 1 argument of industry service type is an instance of industry attribute

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


(=>
    (and
        (industryProductType ?INDUSTRY ?TYPE)
        (instance ?INDUSTRY IndustryAttribute)
        (instance ?BUSINESS Organization)
        (attribute ?BUSINESS ?INDUSTRY))
    (organizationProductType ?BUSINESS ?TYPE))
Economy.kif 1753-1759 If X is an industry product type of Y, Y is an instance of industry attribute, Z is an instance of organization, and Y is an attribute of Z, then X is an organization product type of Z
(=>
    (and
        (industryServiceType ?INDUSTRY ?TYPE)
        (instance ?INDUSTRY IndustryAttribute)
        (instance ?BUSINESS Organization)
        (attribute ?BUSINESS ?INDUSTRY))
    (organizationServiceType ?BUSINESS ?TYPE))
Economy.kif 1793-1799 If X is an industry service type of Y, Y is an instance of industry attribute, Z is an instance of organization, and Y is an attribute of Z, then X is an organization service type of Z
(=>
    (and
        (instance ?ATTR IndustryAttribute)
        (attribute ?OBJ ?ATTR))
    (instance ?OBJ Organization))
Media.kif 1829-1833 If X is an instance of industry attribute and X is an attribute of Y, then Y is an instance of organization


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners