No TPTP formula. May not be expressible in strict first order. |
naics.kif 322-324 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8647-8647 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9540-9540 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9541-9541 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9543-9543 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6202-6202 |
花生 是 花生種植 的 industry 產品類別 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 320-320 |
子屬性 花生種植 and 所有其他農作物 |