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 公共行政行业属性instance

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12395-12395 管理经济计划公共行政subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 12348-12348 管理环境品质计划公共行政subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 12371-12371 住房计划管理城市规划和社区发展公共行政subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 12311-12311 管理人力资源计划公共行政subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 12212-12212 行政立法和其他一般政府支持公共行政subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 12260-12260 司法公共秩序和安全活动公共行政subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 12447-12447 国家安全和国际事务公共行政subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 12441-12441 空间研究与技术公共行政subAttribute
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