No TPTP formula. May not be expressible in strict first order. |
naics.kif 436-438 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8506-8506 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9267-9267 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9268-9268 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9269-9269 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9270-9270 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9271-9271 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6205-6205 |
industryProductType GoatFarming and Goat |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 434-434 |
GoatFarming e' um sub-atributo de SheepAndGoatFarming |