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 |
FreshAndFrozenSeafoodProcessing est un sous-attribut de SeafoodProductPreparationAndPackaging |