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 ExecutiveLegislativeAndOtherGeneralGovernmentSupport est un sous-attribut de PublicAdministration

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12245-12245 AmericanIndianAndAlaskaNativeTribalGovernments est un sous-attribut de ExecutiveLegislativeAndOtherGeneralGovernmentSupport
No TPTP formula. May not be expressible in strict first order. naics.kif 12238-12238 ExecutiveAndLegislativeOfficesCombined est un sous-attribut de ExecutiveLegislativeAndOtherGeneralGovernmentSupport
No TPTP formula. May not be expressible in strict first order. naics.kif 12219-12219 ExecutiveOffices est un sous-attribut de ExecutiveLegislativeAndOtherGeneralGovernmentSupport
No TPTP formula. May not be expressible in strict first order. naics.kif 12225-12225 LegislativeBodies est un sous-attribut de ExecutiveLegislativeAndOtherGeneralGovernmentSupport
No TPTP formula. May not be expressible in strict first order. naics.kif 12253-12253 OtherGeneralGovernmentSupport est un sous-attribut de ExecutiveLegislativeAndOtherGeneralGovernmentSupport
No TPTP formula. May not be expressible in strict first order. naics.kif 12231-12231 PublicFinanceActivities est un sous-attribut de ExecutiveLegislativeAndOtherGeneralGovernmentSupport
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