![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1433-1435 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1431-1431 | StarchAndVegetableFatsAndOilsManufacturing e' um sub-atributo de GrainAndOilseedMilling |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1456-1456 | FatsAndOilsRefiningAndBlending e' um sub-atributo de StarchAndVegetableFatsAndOilsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1449-1449 | OtherOilseedProcessing e' um sub-atributo de StarchAndVegetableFatsAndOilsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1443-1443 | SoybeanProcessing e' um sub-atributo de StarchAndVegetableFatsAndOilsManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1437-1437 | WetCornMilling e' um sub-atributo de StarchAndVegetableFatsAndOilsManufacturing |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55056-55056 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55055-55055 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55054-55054 |
![]() |
![]() |