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 |
牲畜批发商 是 农产品原料批发商 的 subAttribute |