No TPTP formula. May not be expressible in strict first order. |
naics.kif 1672-1675 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11045-11045 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11048-11048 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11050-11050 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10024-10024 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11042-11042 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11047-11047 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11046-11046 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11044-11044 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11043-11043 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1670-1670 |
Fresh and frozen seafood processing is a subattribute of seafood product preparation and packaging |