No TPTP formula. May not be expressible in strict first order. |
naics.kif 151-153 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8662-8662 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9560-9560 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9561-9561 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9562-9562 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9563-9563 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6207-6207 |
Potato tuber is an industry product type of potato farming |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 149-149 |
Potato farming is a subattribute of vegetable and melon farming |