No TPTP formula. May not be expressible in strict first order.	naics.kif 6135-6135	MiscellaneousManufacturing e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7746-7746	MiscellaneousStoreRetailers e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7017-7017	MotorVehicleAndPartsDealers e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1811-1811	MotorVehicleIndustry e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1822-1822	NaturalGasIndustry e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 3684-3684	NonmetallicMineralProductManufacturing e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7871-7871	NonstoreRetailers e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6166-6166	OatFarming e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 11710-11710	OtherServicesExceptPublicAdministration e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 2711-2711	PaperManufacturing e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 3047-3047	PetroleumAndCoalProductsManufacturing e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1829-1829	PetroleumIndustry e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 8459-8459	PipelineTransportation e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 3491-3491	PlasticsAndRubberProductsManufacturing e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 8701-8701	PostalService e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 3937-3937	PrimaryMetalManufacturing e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 2917-2917	PrintingAndRelatedSupportActivities e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9856-9856	ProfessionalScientificAndTechnicalServices e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 12206-12206	PublicAdministration e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 8028-8028	RailTransportation e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9594-9594	RealEstateAndRentalAndLeasing e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1858-1858	RefrigerationEquipmentManufacturing e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1849-1849	RefrigeratorAndFreezerIndustry e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6176-6176	RyeFarming e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 8522-8522	ScenicAndSightseeingTransportation 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