No TPTP formula. May not be expressible in strict first order. |
naics.kif 6895-6897 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8576-8576 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9385-9385 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9386-9386 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9387-9387 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6893-6893 |
LivestockWholesalers e' um sub-atributo de FarmProductRawMaterialWholesalers |