No TPTP formula. May not be expressible in strict first order.	naics.kif 12386-12386	AdministrationOfUrbanPlanningAndCommunityAndRuralDevelopment e' um sub-atributo de AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment
No TPTP formula. May not be expressible in strict first order.	naics.kif 12341-12341	AdministrationOfVeteransAffairs e' um sub-atributo de AdministrationOfHumanResourcePrograms
No TPTP formula. May not be expressible in strict first order.	naics.kif 10306-10306	AdministrativeAndSupportServices e' um sub-atributo de AdministrativeAndSupportAndWasteManagementAndRemediationServices
No TPTP formula. May not be expressible in strict first order.	naics.kif 10075-10075	AdministrativeManagementAndGeneralManagementConsultingServices e' um sub-atributo de ManagementConsultingServices
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19021-19021	Admiral e' um sub-atributo de MilitaryOfficer
No TPTP formula. May not be expressible in strict first order.	Economy.kif 351-351	AdvancedDevelopingCountry e' um sub-atributo de LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	naics.kif 10159-10159	AdvertisingAgencies e' um sub-atributo de AdvertisingAndRelatedServices
No TPTP formula. May not be expressible in strict first order.	naics.kif 10153-10153	AdvertisingAndRelatedServices e' um sub-atributo de ProfessionalScientificAndTechnicalServices
No TPTP formula. May not be expressible in strict first order.	naics.kif 10198-10198	AdvertisingMaterialDistributionServices e' um sub-atributo de AdvertisingAndRelatedServices
No TPTP formula. May not be expressible in strict first order.	Biography.kif 431-431	AeronauticalEngineer e' um sub-atributo de Engineer
No TPTP formula. May not be expressible in strict first order.	naics.kif 5879-5879	AerospaceProductAndPartsManufacturing e' um sub-atributo de TransportationEquipmentManufacturing
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1162-1162	AestheticPleasure e' um sub-atributo de Pleasure
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1407-1407	AfghanCuisine e' um sub-atributo de CentralAsianCuisine
No TPTP formula. May not be expressible in strict first order.	naics.kif 9486-9486	AgenciesBrokeragesAndOtherInsuranceRelatedActivities e' um sub-atributo de InsuranceCarriersAndRelatedActivities
No TPTP formula. May not be expressible in strict first order.	naics.kif 11364-11364	AgentsAndManagersForArtistsAthletesEntertainersAndOtherPublicFigures e' um sub-atributo de PerformingArtsSpectatorSportsAndRelatedIndustries
No TPTP formula. May not be expressible in strict first order.	Government.kif 2679-2679	AgriculturalDevelopment e' um sub-atributo de EconomicDevelopment
No TPTP formula. May not be expressible in strict first order.	naics.kif 4669-4669	AgriculturalImplementManufacturing e' um sub-atributo de AgricultureConstructionAndMiningMachineryManufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 4662-4662	AgricultureConstructionAndMiningMachineryManufacturing e' um sub-atributo de MachineryManufacturing
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1147-1147	AgricultureForestryFishingAndHunting e' um sub-atributo de AgriculturalSector
No TPTP formula. May not be expressible in strict first order.	People.kif 1343-1343	AhmadiyyaMuslim e' um sub-atributo de Muslim
No TPTP formula. May not be expressible in strict first order.	naics.kif 5003-5003	AirAndGasCompressorManufacturing e' um sub-atributo de PumpAndCompressorManufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 4878-4878	AirConditioningAndWarmAirHeatingEquipmentAndCommercialAndIndustrialRefrigerationEquipmentManufacturing e' um sub-atributo de VentilationHeatingAirConditioningAndCommercialRefrigerationEquipmentManufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 4854-4854	AirPurificationEquipmentManufacturing e' um sub-atributo de VentilationHeatingAirConditioningAndCommercialRefrigerationEquipmentManufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 8589-8589	AirTrafficControl e' um sub-atributo de AirportOperations
No TPTP formula. May not be expressible in strict first order.	naics.kif 5891-5891	AircraftEngineAndEnginePartsManufacturing e' um sub-atributo de AerospaceProductAndPartsManufacturing
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