| 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 1583-1583 | |
| (domain industryProductType 1 IndustryAttribute) | Economy.kif 1604-1604 | |
| (domain industryRankByOutput 2 IndustryAttribute) | Economy.kif 1591-1591 | |
| (domain industryServiceType 1 IndustryAttribute) | Economy.kif 1646-1646 | |
| (domain sectorCompositionOfGDP 2 IndustryAttribute) | Economy.kif 1070-1070 | |
| (domain sectorCompositionOfGDPInPeriod 2 IndustryAttribute) | Economy.kif 1053-1053 | |
| (domain sectorValueOfGDP 2 IndustryAttribute) | Economy.kif 1113-1113 | |
| (domain sectorValueOfGDPInPeriod 2 IndustryAttribute) | Economy.kif 1092-1092 |
| antecedent |
|
|
| (=> (and (industryProductType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationProductType ?BUSINESS ?TYPE)) |
Economy.kif 1637-1643 | |
| (=> (and (industryServiceType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationServiceType ?BUSINESS ?TYPE)) |
Economy.kif 1677-1683 | |
| (=> (and (instance ?ATTR IndustryAttribute) (attribute ?OBJ ?ATTR)) (instance ?OBJ Organization)) |
Media.kif 1884-1888 |
|
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