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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExecutiveLegislativeAndOtherGeneralGovernmentSupport
ExecutiveLegislativeAndOtherGeneralGovernmentSupport(executive legislative and other general government support)

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 Executive legislative and other general government support is a subattribute of public administration

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12245-12245 American indian and alaska native tribal governments is a subattribute of executive legislative and other general government support
No TPTP formula. May not be expressible in strict first order. naics.kif 12238-12238 Executive and legislative offices combined is a subattribute of executive legislative and other general government support
No TPTP formula. May not be expressible in strict first order. naics.kif 12219-12219 Executive offices is a subattribute of executive legislative and other general government support
No TPTP formula. May not be expressible in strict first order. naics.kif 12225-12225 Legislative bodies is a subattribute of executive legislative and other general government support
No TPTP formula. May not be expressible in strict first order. naics.kif 12253-12253 Other general government support is a subattribute of executive legislative and other general government support
No TPTP formula. May not be expressible in strict first order. naics.kif 12231-12231 Public finance activities is a subattribute of executive legislative and other general government support
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