MachineryManufacturing(machinery manufacturing) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4640-4642 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1784-1784 | Machine is an industry product type of machinery manufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4638-4638 | Machinery manufacturing is an instance of industry attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6145-6145 | Miscellaneous manufacturing is disjoint from machinery manufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4662-4662 | Agriculture construction and mining machinery manufacturing is a subattribute of machinery manufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4793-4793 | Commercial and service industry machinery manufacturing is a subattribute of machinery manufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4947-4947 | Engine turbine and power transmission equipment manufacturing is a subattribute of machinery manufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4722-4722 | Industrial machinery manufacturing is a subattribute of machinery manufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4889-4889 | Metalworking machinery manufacturing is a subattribute of machinery manufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4984-4984 | Other general purpose machinery manufacturing is a subattribute of machinery manufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4846-4846 | Ventilation heating air conditioning and commercial refrigeration equipment manufacturing is a subattribute of machinery manufacturing |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35525-35525 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35524-35524 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35523-35523 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | naics.kif 4644-4660 |
|