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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExecutiveLegislativeAndOtherGeneralGovernmentSupport

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 行政立法和其他一般政府支持公共行政subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12245-12245 美洲印第安人和阿拉斯加原住民部落政府行政立法和其他一般政府支持subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 12238-12238 行政和立法办公室相结合行政立法和其他一般政府支持subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 12219-12219 执行办公室行政立法和其他一般政府支持subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 12225-12225 立法机构行政立法和其他一般政府支持subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 12253-12253 其他一般政府支持行政立法和其他一般政府支持subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 12231-12231 公共财政活动行政立法和其他一般政府支持subAttribute
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 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