Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PublicAdministration

Sigma KEE - PublicAdministration
PublicAdministration

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 12208-12210
No TPTP formula. May not be expressible in strict first order. naics.kif 12206-12206 PublicAdministration est une instance de IndustryAttribute

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 12395-12395 AdministrationOfEconomicPrograms est un sous-attribut de PublicAdministration
No TPTP formula. May not be expressible in strict first order. naics.kif 12348-12348 AdministrationOfEnvironmentalQualityPrograms est un sous-attribut de PublicAdministration
No TPTP formula. May not be expressible in strict first order. naics.kif 12371-12371 AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment est un sous-attribut de PublicAdministration
No TPTP formula. May not be expressible in strict first order. naics.kif 12311-12311 AdministrationOfHumanResourcePrograms est un sous-attribut de PublicAdministration
No TPTP formula. May not be expressible in strict first order. naics.kif 12212-12212 ExecutiveLegislativeAndOtherGeneralGovernmentSupport est un sous-attribut de PublicAdministration
No TPTP formula. May not be expressible in strict first order. naics.kif 12260-12260 JusticePublicOrderAndSafetyActivities est un sous-attribut de PublicAdministration
No TPTP formula. May not be expressible in strict first order. naics.kif 12447-12447 NationalSecurityAndInternationalAffairs est un sous-attribut de PublicAdministration
No TPTP formula. May not be expressible in strict first order. naics.kif 12441-12441 SpaceResearchAndTechnology est un sous-attribut de PublicAdministration
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47960-47960
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47959-47959
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47958-47958


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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