IndustryAttribute
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 23-25 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 21-21 | Industry attribute is a subclass of relational attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11553-11553 | Accommodation and food services is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10298-10298 | Administrative and support and waste management and remediation services is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1142-1142 | Agricultural sector is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 44-44 | Agriculture forestry fishing and hunting is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7947-7947 | Air transportation industry is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 2188-2188 | Apparel manufacturing is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11264-11264 | Arts entertainment and recreation is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6171-6171 | Barley farming is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1824-1824 | Beverage and tobacco product manufacturing is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7235-7235 | Building material and garden equipment and supplies dealers is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6154-6154 | Cereal grain farming is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3119-3119 | Chemical manufacturing is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30992-30992 | Civil is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7500-7500 | Clothing and clothing accessories stores is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1713-1713 | Coal industry is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5120-5120 | Computer and electronic product manufacturing is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1074-1074 | Construction is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1721-1721 | Consumer goods industry is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1724-1724 | Copper industry is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8729-8729 | Couriers and messengers is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10727-10727 | Educational services is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5414-5414 | Electrical equipment appliance and component manufacturing is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7179-7179 | Electronics and appliance stores is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4219-4219 | Fabricated metal product manufacturing is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1737-1737 | Fertilizer 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 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1579-1579 | The number 2 argument of industry of area is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1600-1600 | The number 1 argument of industry product type is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1587-1587 | The number 2 argument of industry rank by output is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1642-1642 | The number 1 argument of industry service type is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1074-1074 | The number 2 argument of sector composition ofGDP is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1057-1057 | The number 2 argument of sector composition of GDP in period is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1120-1120 | The number 2 argument of sector value of GDP is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1096-1096 | The number 2 argument of sector value of GDP in period is an instance of industry attribute |
antecedent |