No TPTP formula. May not be expressible in strict first order. |
naics.kif 448-451 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9212-9212 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9210-9210 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9213-9213 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 446-446 |
FinfishFarmingAndFishHatcheries est un sous-attribut de AnimalAquaculture |