No TPTP formula. May not be expressible in strict first order.	naics.kif 9179-9179	FinanceAndInsurance e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7313-7313	FoodAndBeverageStores e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 1355-1355	FoodManufacturing e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6191-6191	FruitFarming e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7119-7119	FurnitureAndHomeFurnishingsStores e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 5988-5988	FurnitureAndRelatedProductManufacturing e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1751-1751	FurnitureIndustry e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7466-7466	GasolineStations e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7696-7696	GeneralMerchandiseStores e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1758-1758	HandicraftIndustry e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7415-7415	HealthAndPersonalCareStores e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 10877-10877	HealthCareAndSocialAssistance e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1143-1143	IndustrialSector e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 8829-8829	InformationIndustries e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1762-1762	LeadIndustry e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1770-1770	LeadManufacturing e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 2451-2451	LeatherAndAlliedProductManufacturing e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1773-1773	LumberIndustry e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 4638-4638	MachineryManufacturing e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 10270-10270	ManagementOfCompaniesAndEnterprises e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30995-30995	MechanicalProductAttribute e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1787-1787	MetallurgyIndustry e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6186-6186	MilletFarming e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 626-626	Mining e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1797-1797	MiningIndustry e' uma instancia de IndustryAttribute
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