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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PublicAdministration

Sigma KEE - PublicAdministration
PublicAdministration(public administration)

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 Public administration is an instance of industry attribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12395-12395 Administration of economic programs is a subattribute of public administration
No TPTP formula. May not be expressible in strict first order. naics.kif 12348-12348 Administration of environmental quality programs is a subattribute of public administration
No TPTP formula. May not be expressible in strict first order. naics.kif 12371-12371 Administration of housing programs urban planning and community development is a subattribute of public administration
No TPTP formula. May not be expressible in strict first order. naics.kif 12311-12311 Administration of human resource programs is a subattribute of public administration
No TPTP formula. May not be expressible in strict first order. naics.kif 12212-12212 Executive legislative and other general government support is a subattribute of public administration
No TPTP formula. May not be expressible in strict first order. naics.kif 12260-12260 Justice public order and safety activities is a subattribute of public administration
No TPTP formula. May not be expressible in strict first order. naics.kif 12447-12447 National security and international affairs is a subattribute of public administration
No TPTP formula. May not be expressible in strict first order. naics.kif 12441-12441 Space research and technology is a subattribute of public administration
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