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 |
水稻种植 是 谷物种植 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 117-117 |
水稻种植 是 油籽和粮食种植 的 subAttribute |