industryProductType

-------------------------


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