VegetableOilIndustry(vegetable oil industry) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1908-1908 | Vegetable oil industry is an instance of industry attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1909-1909 | Grain and oilseed milling is a subattribute of vegetable oil industry |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61328-61328 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61327-61327 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61326-61326 |