![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1744-1746 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1742-1742 | OtherFoodManufacturing est un sous-attribut de FoodManufacturing |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1804-1804 | AllOtherFoodManufacturing est un sous-attribut de OtherFoodManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1768-1768 | CoffeeAndTeaManufacturing est un sous-attribut de OtherFoodManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1775-1775 | FlavoringSyrupAndConcentrateManufacturing est un sous-attribut de OtherFoodManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1783-1783 | SeasoningAndDressingManufacturing est un sous-attribut de OtherFoodManufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 1748-1748 | SnackFoodManufacturing est un sous-attribut de OtherFoodManufacturing |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43008-43008 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43007-43007 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43006-43006 |
![]() |
![]() |