| 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 |
Fabric 是 織物廠 的 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 Animal 是 食品製造業 的 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 |
