No TPTP formula. May not be expressible in strict first order. |
naics.kif 304-306 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8517-8517 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9283-9283 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9284-9284 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9285-9285 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9286-9286 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9287-9287 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 302-302 |
HayFarming est un sous-attribut de OtherCropFarming |