No TPTP formula. May not be expressible in strict first order. |
naics.kif 298-300 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8741-8741 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9703-9703 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9704-9704 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9705-9705 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9708-9708 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9710-9710 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 296-296 |
SugarcaneFarming est un sous-attribut de OtherCropFarming |