TreeView Knowledge Base Browser - industryProductType

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1614-1616
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1611-1611	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 1612-1612	The number 2 argument of industry product type is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1610-1610	industry product type is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1321-1321
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1320-1320
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1319-1319
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29904-29904
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29903-29903
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29902-29902

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1644-1650	If a kind of object is an industry product type of an industry attribute and the industry attribute is an instance of industry attribute and an organization is an instance of organization and the industry attribute is an attribute of the organization, then a kind of object is an organization product type of the organization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1618-1628	If an agent is an instance of organization and an industry attribute is an attribute of the agent and a kind of object is an industry product type of the industry attribute, then there exist a process and an entity such that the process is an instance of making and the entity is an instance of a kind of object and the agent is an agent of the process and the entity is a result of the process

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1709-1709	Aircraft is an industry product type of aircraft manufacturing
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1712-1712	Alumina is an industry product type of alumina refining
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1857-1857	Asphalt is an industry product type of asphalt paving roofing and saturated materials manufacturing
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1716-1716	Automobile is an industry product type of automobile manufacturing
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5215-5215	Barley grain is an industry product type of barley farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5244-5244	Cattle is an industry product type of cattle ranching and farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1719-1719	Cement is an industry product type of cement manufacturing
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5197-5197	Cereal grain is an industry product type of cereal grain farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1727-1727	Coal is an industry product type of coal mining
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4939-4939	Concrete is an industry product type of concrete pipe brick and block manufacturing
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1740-1740	Copper ore is an industry product type of copper ore mining
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5203-5203	Maize grain is an industry product type of corn farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5250-5250	Cotton is an industry product type of cotton farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1854-1854	Petroleum is an industry product type of crude petroleum extraction
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4768-4768	Electricity is an industry product type of electrical power generation
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1897-1897	Fabric is an industry product type of fabric mills
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1752-1752	Fertilizer is an industry product type of fertilizer mineral mining
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1755-1755	Food for animal is an industry product type of food manufacturing
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1760-1760	Shoe is an industry product type of footwear manufacturing
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1790-1790	Timber is an industry product type of forestry and logging
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5234-5234	Fruit is an industry product type of fruit farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1767-1767	Furniture is an industry product type of furniture manufacturing
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5246-5246	Goat is an industry product type of goat farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5247-5247	Pork is an industry product type of hog and pig farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1816-1816	Sand is an industry product type of industrial sand mining

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: