No TPTP formula. May not be expressible in strict first order. |
naics.kif 113-115 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8440-8440 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9117-9117 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9118-9118 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6162-6162 |
玉米粒 是 玉米種植 的 industry 產品類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6159-6159 |
子屬性 玉米種植 and 穀物種植 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 111-111 |
子屬性 玉米種植 and 油籽和糧食種植 |