industryProductType |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1607-1609 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1604-1604 | 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 1605-1605 | 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 1603-1603 | 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 29845-29845 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29844-29844 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29843-29843 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1637-1643 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1611-1621 |
|
appearance as argument number 0 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1702-1702 | Aircraft is an industry product type of aircraft manufacturing |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1705-1705 | Alumina is an industry product type of alumina refining |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1850-1850 | 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 1709-1709 | Automobile is an industry product type of automobile manufacturing |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5054-5054 | Barley grain is an industry product type of barley farming |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5083-5083 | Cattle is an industry product type of cattle ranching and farming |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1712-1712 | Cement is an industry product type of cement manufacturing |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5036-5036 | Cereal grain is an industry product type of cereal grain farming |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1720-1720 | Coal is an industry product type of coal mining |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4781-4781 | 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 1733-1733 | Copper ore is an industry product type of copper ore mining |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5042-5042 | Maize grain is an industry product type of corn farming |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5089-5089 | Cotton is an industry product type of cotton farming |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1847-1847 | Petroleum is an industry product type of crude petroleum extraction |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4610-4610 | Electricity is an industry product type of electrical power generation |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1890-1890 | Fabric is an industry product type of fabric mills |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1745-1745 | Fertilizer is an industry product type of fertilizer mineral mining |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1748-1748 | Food for animal is an industry product type of food manufacturing |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1753-1753 | Shoe is an industry product type of footwear manufacturing |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1783-1783 | Timber is an industry product type of forestry and logging |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5073-5073 | Fruit is an industry product type of fruit farming |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1760-1760 | Furniture is an industry product type of furniture manufacturing |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5085-5085 | Goat is an industry product type of goat farming |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5086-5086 | Pork is an industry product type of hog and pig farming |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1809-1809 | 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 |
![]() |
![]() |