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 |
Goat is an industry product type of goat farming |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 434-434 |
Goat farming is a subattribute of sheep and goat farming |