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 e' uma instancia de IndustryAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12395-12395 AdministrationOfEconomicPrograms e' um sub-atributo de PublicAdministration
No TPTP formula. May not be expressible in strict first order. naics.kif 12348-12348 AdministrationOfEnvironmentalQualityPrograms e' um sub-atributo de PublicAdministration
No TPTP formula. May not be expressible in strict first order. naics.kif 12371-12371 AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment e' um sub-atributo de PublicAdministration
No TPTP formula. May not be expressible in strict first order. naics.kif 12311-12311 AdministrationOfHumanResourcePrograms e' um sub-atributo de PublicAdministration
No TPTP formula. May not be expressible in strict first order. naics.kif 12212-12212 ExecutiveLegislativeAndOtherGeneralGovernmentSupport e' um sub-atributo de PublicAdministration
No TPTP formula. May not be expressible in strict first order. naics.kif 12260-12260 JusticePublicOrderAndSafetyActivities e' um sub-atributo de PublicAdministration
No TPTP formula. May not be expressible in strict first order. naics.kif 12447-12447 NationalSecurityAndInternationalAffairs e' um sub-atributo de PublicAdministration
No TPTP formula. May not be expressible in strict first order. naics.kif 12441-12441 SpaceResearchAndTechnology e' um sub-atributo 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