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 |
industryProductType HogAndPigFarming and Pork |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 379-379 |
HogAndPigFarming e' um sub-atributo de AnimalProduction |