industryProductType |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1728-1730 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1725-1725 | 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 1726-1726 | 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 1724-1724 | 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 29928-29928 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29927-29927 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29926-29926 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1758-1764 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1732-1742 |
|
appearance as argument number 0 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1823-1823 | Aircraft is an industry product type of aircraft manufacturing |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1826-1826 | Alumina is an industry product type of alumina refining |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1971-1971 | 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 1830-1830 | Automobile is an industry product type of automobile manufacturing |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6572-6572 | Barley grain is an industry product type of barley farming |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6601-6601 | Cattle is an industry product type of cattle ranching and farming |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1833-1833 | Cement is an industry product type of cement manufacturing |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6554-6554 | Cereal grain is an industry product type of cereal grain farming |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1841-1841 | Coal is an industry product type of coal mining |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6294-6294 | 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 1854-1854 | Copper ore is an industry product type of copper ore mining |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6560-6560 | Maize grain is an industry product type of corn farming |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6607-6607 | Cotton is an industry product type of cotton farming |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1968-1968 | Petroleum is an industry product type of crude petroleum extraction |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6067-6067 | Electricity is an industry product type of electrical power generation |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2011-2011 | Fabric is an industry product type of fabric mills |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1866-1866 | Fertilizer is an industry product type of fertilizer mineral mining |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1869-1869 | Food for animal is an industry product type of food manufacturing |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1874-1874 | Shoe is an industry product type of footwear manufacturing |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1904-1904 | Timber is an industry product type of forestry and logging |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6591-6591 | Fruit is an industry product type of fruit farming |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1881-1881 | Furniture is an industry product type of furniture manufacturing |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6603-6603 | Goat is an industry product type of goat farming |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6604-6604 | Pork is an industry product type of hog and pig farming |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1930-1930 | 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 |
![]() |
![]() |