|
|
   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 | 子類 行業屬性 and RelationalAttribute |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain industryOfArea 2 IndustryAttribute) | Economy.kif 1579-1579 | 域 區域產業, 2 and 行業屬性 |
| (domain industryProductType 1 IndustryAttribute) | Economy.kif 1600-1600 | 域 行業產品類型, 1 and 行業屬性 |
| (domain industryRankByOutput 2 IndustryAttribute) | Economy.kif 1587-1587 | 域 按輸出排名行業, 2 and 行業屬性 |
| (domain industryServiceType 1 IndustryAttribute) | Economy.kif 1642-1642 | 域 行業服務類型, 1 and 行業屬性 |
| (domain sectorCompositionOfGDP 2 IndustryAttribute) | Economy.kif 1074-1074 | 域 行業組成的GDP, 2 and 行業屬性 |
| (domain sectorCompositionOfGDPInPeriod 2 IndustryAttribute) | Economy.kif 1057-1057 | 域 期間GDP的部門構成, 2 and 行業屬性 |
| (domain sectorValueOfGDP 2 IndustryAttribute) | Economy.kif 1120-1120 | 域 GDP的行業價值, 2 and 行業屬性 |
| (domain sectorValueOfGDPInPeriod 2 IndustryAttribute) | Economy.kif 1096-1096 | 域 期間GDP的部門價值, 2 and 行業屬性 |
| antecedent |
|
|
| (=> (and (industryProductType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationProductType ?BUSINESS ?TYPE)) |
Economy.kif 1633-1639 |
|
| (=> (and (industryServiceType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationServiceType ?BUSINESS ?TYPE)) |
Economy.kif 1673-1679 |
|
| (=> (and (instance ?ATTR IndustryAttribute) (attribute ?OBJ ?ATTR)) (instance ?OBJ Organization)) |
Media.kif 1882-1886 |
|
|
|