No TPTP formula. May not be expressible in strict first order. |
naics.kif 322-324 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8647-8647 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9540-9540 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9541-9541 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9543-9543 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6202-6202 |
Groundnut is an industry product type of peanut farming |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 320-320 |
Peanut farming is a subattribute of all other crop farming |