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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExecutiveLegislativeAndOtherGeneralGovernmentSupport
ExecutiveLegislativeAndOtherGeneralGovernmentSupport(行政立法和其他一般政府支持)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12214-12217
No TPTP formula. May not be expressible in strict first order. naics.kif 12212-12212 子屬性 行政立法和其他一般政府支持 and 公共行政

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12245-12245 子屬性 美洲印第安人和阿拉斯加原住民部落政府 and 行政立法和其他一般政府支持
No TPTP formula. May not be expressible in strict first order. naics.kif 12238-12238 子屬性 行政和立法辦公室相結合 and 行政立法和其他一般政府支持
No TPTP formula. May not be expressible in strict first order. naics.kif 12219-12219 子屬性 執行辦公室 and 行政立法和其他一般政府支持
No TPTP formula. May not be expressible in strict first order. naics.kif 12225-12225 子屬性 立法機構 and 行政立法和其他一般政府支持
No TPTP formula. May not be expressible in strict first order. naics.kif 12253-12253 子屬性 其他一般政府支持 and 行政立法和其他一般政府支持
No TPTP formula. May not be expressible in strict first order. naics.kif 12231-12231 子屬性 公共財政活動 and 行政立法和其他一般政府支持
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22732-22732
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22731-22731
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22730-22730


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



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