No TPTP formula. May not be expressible in strict first order.	Economy.kif 1144-1144	ServiceSector e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6181-6181	SorghumFarming e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7594-7594	SportingGoodsHobbyBookAndMusicStores e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1865-1865	SteelIndustry e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 8569-8569	SupportActivitiesForTransportation e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1883-1883	TextileIndustry e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 1938-1938	TextileMills e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 2079-2079	TextileProductMills e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1891-1891	TourismIndustry e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 8338-8338	TransitAndGroundPassengerTransportation e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 5677-5677	TransportationEquipmentManufacturing e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 8247-8247	TruckTransportation e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 923-923	Utilities e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6195-6195	VegetableFarming e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1908-1908	VegetableOilIndustry e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 8770-8770	WarehousingAndStorage e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 8074-8074	WaterTransportationIndustry e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 6369-6369	WholesaleTrade e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 2557-2557	WoodProductManufacturing e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1914-1914	ZincIndustry e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1922-1922	ZincManufacturing e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29905-29905
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29904-29904
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29903-29903

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