No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9243-9243 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8495-8495 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6193-6193 |
水果 是 水果种植 的 industry 产品类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6191-6191 |
水果种植 是 行业属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6192-6192 |
水果种植 是 水果和树坚果种植 的 subAttribute |