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