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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SocialAssistance

Sigma KEE - SocialAssistance
SocialAssistance

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11178-11180
No TPTP formula. May not be expressible in strict first order. naics.kif 11176-11176 SocialAssistance e' um sub-atributo de HealthCareAndSocialAssistance

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11258-11258 ChildDayCareServices e' um sub-atributo de SocialAssistance
No TPTP formula. May not be expressible in strict first order. naics.kif 11211-11211 CommunityFoodAndHousingAndEmergencyAndOtherReliefServices e' um sub-atributo de SocialAssistance
No TPTP formula. May not be expressible in strict first order. naics.kif 11182-11182 IndividualAndFamilyServices e' um sub-atributo de SocialAssistance
No TPTP formula. May not be expressible in strict first order. naics.kif 11252-11252 VocationalRehabilitationServices e' um sub-atributo de SocialAssistance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53612-53612
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53611-53611
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53610-53610


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