| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1698-1698 |
飞机 是 飞机制造业 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1701-1701 |
矾土 是 氧化铝精炼 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1846-1846 |
沥青 是 沥青铺设屋面和饱和材料制造 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1705-1705 |
汽车 是 汽车制造业 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6174-6174 |
大麦籽粒 是 大麦种植 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6203-6203 |
牛 是 养牛和养殖 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1708-1708 |
水泥 是 水泥制造业 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6156-6156 |
谷物 是 谷物种植 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1716-1716 |
煤 是 采煤 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5896-5896 |
具体 是 混凝土管砖和砌块制造 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1729-1729 |
铜矿 是 铜矿开采 的 industry 产品类别 |
| 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 6209-6209 |
棉 是 棉花种植 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1843-1843 |
石油 是 原油开采 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5725-5725 |
电力 是 发电 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1886-1886 |
织品 是 织物厂 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1741-1741 |
肥料 是 化肥矿产开采 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1744-1744 |
Food for 动物 是 食品制造业 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1749-1749 |
鞋 是 鞋类制造业 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1779-1779 |
原木材 是 林业和伐木业 的 industry 产品类别 |
| 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 1756-1756 |
家具 是 家具制造业 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6205-6205 |
山羊 是 山羊养殖 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6206-6206 |
猪肉 是 生猪和养猪 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1805-1805 |
砂 是 工业采砂 的 industry 产品类别 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
