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 |
industryProductType PotatoFarming and PotatoTuber |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 149-149 |
PotatoFarming e' um sub-atributo de VegetableAndMelonFarming |