| No TPTP formula. May not be expressible in strict first order. |
naics.kif 119-121 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8687-8687 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9602-9602 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9603-9603 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9604-9604 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9605-9605 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9606-9606 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9607-9607 |
|
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6164-6164 |
米粒 是 水稻種植 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6160-6160 |
子屬性 水稻種植 and 穀物種植 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 117-117 |
子屬性 水稻種植 and 油籽和糧食種植 |
more pictures...