No TPTP formula. May not be expressible in strict first order. |
naics.kif 1928-1930 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8420-8420 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9063-9063 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9064-9064 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9066-9066 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1926-1926 |
CigaretteManufacturing est un sous-attribut de TobaccoProductManufacturing |