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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IndustryAttribute
IndustryAttribute(industry attribute)

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
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 1633-1639
No TPTP formula. May not be expressible in strict first order. Economy.kif 1673-1679
No TPTP formula. May not be expressible in strict first order. Media.kif 1882-1886


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