No TPTP formula. May not be expressible in strict first order.	Economy.kif 1806-1806	industryProductType IronOreMining and IronOre
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1807-1807	industryProductType KaolinAndBallClayMining and Clay
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1768-1768	industryProductType LeadOreMining and LeadOre
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1784-1784	industryProductType MachineryManufacturing and Maquina
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1788-1788	industryProductType MetallurgyIndustry and Metal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6189-6189	industryProductType MilletFarming and MilletGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1818-1818	industryProductType MotorVehicleManufacturing and RoadVehicle
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1826-1826	industryProductType NaturalGasIndustry and NaturalGas
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1808-1808	industryProductType NickelOreMining and NickelOre
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6169-6169	industryProductType OatFarming and OatGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6219-6219	industryProductType OpiumPoppyFarming and OpiumPoppy
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5897-5897	industryProductType OtherConcreteProductManufacturing and Concrete
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6202-6202	industryProductType PeanutFarming and Groundnut
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1845-1845	industryProductType PetroleumLubricatingOilAndGreaseManufacturing and PetroleumLubricant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1844-1844	industryProductType PetroleumRefineries and RefinedPetroleumProduct
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6207-6207	industryProductType PotatoFarming and PotatoTuber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6210-6210	industryProductType PoultryAndEggProduction and Poultry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5918-5918	industryProductType ReadyMixConcreteManufacturing and ReadyMixConcrete
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6164-6164	industryProductType RiceFarming and RiceGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6179-6179	industryProductType RyeFarming and RyeGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6204-6204	industryProductType SheepFarming and Sheep
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1863-1863	industryProductType SoapAndOtherDetergentManufacturing and Detergent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6184-6184	industryProductType SorghumFarming and SorghumGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1809-1809	industryProductType StoneMiningAndQuarrying and Rock
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6208-6208	industryProductType SugarBeetFarming and SugarBeet
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