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 |
![]() |
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 1882-1886 |
![]() |
![]() |