No TPTP formula. May not be expressible in strict first order.	Economy.kif 1806-1806	Iron ore is an industry product type of iron ore mining
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1807-1807	Clay is an industry product type of kaolin and ball clay mining
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1768-1768	Lead ore is an industry product type of lead ore mining
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1784-1784	Machine is an industry product type of machinery manufacturing
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1788-1788	Metal is an industry product type of metallurgy industry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6189-6189	Millet grain is an industry product type of millet farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1818-1818	Road vehicle is an industry product type of motor vehicle manufacturing
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1826-1826	Natural gas is an industry product type of natural gas industry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1808-1808	Nickel ore is an industry product type of nickel ore mining
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6169-6169	Oat grain is an industry product type of oat farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6219-6219	Opium poppy is an industry product type of opium poppy farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5897-5897	Concrete is an industry product type of other concrete product manufacturing
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6202-6202	Groundnut is an industry product type of peanut farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1845-1845	Petroleum lubricant is an industry product type of petroleum lubricating oil and grease manufacturing
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1844-1844	Refined petroleum product is an industry product type of petroleum refineries
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6207-6207	Potato tuber is an industry product type of potato farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6210-6210	Poultry is an industry product type of poultry and egg production
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5918-5918	Ready mix concrete is an industry product type of ready mix concrete manufacturing
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6164-6164	Rice grain is an industry product type of rice farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6179-6179	Rye grain is an industry product type of rye farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6204-6204	Sheep is an industry product type of sheep farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1863-1863	Detergent is an industry product type of soap and other detergent manufacturing
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6184-6184	Sorghum grain is an industry product type of sorghum farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1809-1809	Rock is an industry product type of stone mining and quarrying
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6208-6208	Sugar beet is an industry product type of sugar beet farming
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