|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1806-1806 | 鐵礦 是 鐵礦開採 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1807-1807 | 粘土 是 高嶺土和球粘土開採 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1768-1768 | 鉛礦 是 鉛礦開採 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1784-1784 | Machine 是 機械製造業 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1788-1788 | Metal 是 冶金工業 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6189-6189 | 小米粒 是 小米種植 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1818-1818 | 公路車輛 是 汽車製造業 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1826-1826 | 天然氣 是 天然氣工業 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1808-1808 | 鎳礦石 是 鎳礦開採 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6169-6169 | 燕麥粒 是 燕麥種植 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6219-6219 | 罌粟花 是 罌粟種植 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5897-5897 | 具體 是 其他具體產品製造 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6202-6202 | 花生 是 花生種植 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1845-1845 | 石油潤滑劑 是 石油潤滑油和潤滑脂製造 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1844-1844 | 精煉石油產品 是 煉油廠 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6207-6207 | 馬鈴薯塊莖 是 馬鈴薯種植 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6210-6210 | 家禽 是 家禽和雞蛋生產 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5918-5918 | 預拌混凝土 是 預拌混凝土製造 的 industry 產品類別 |
| 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 6179-6179 | 黑麥穀物 是 黑麥種植 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6204-6204 | 羊 是 養羊 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1863-1863 | 洗滌劑 是 肥皂和其他洗滌劑製造業 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6184-6184 | 高粱粒 是 高粱種植 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1809-1809 | 岩石 是 採石和採石 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6208-6208 | 甜菜 是 甜菜種植 的 industry 產品類別 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners