No TPTP formula. May not be expressible in strict first order. |
naics.kif 381-383 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10053-10053 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11168-11168 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11169-11169 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11167-11167 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11170-11170 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11171-11171 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6206-6206 |
Pork is an industry product type of hog and pig farming |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 379-379 |
Hog and pig farming is a subattribute of animal production |