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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SocialAssistance

Sigma KEE - SocialAssistance
SocialAssistance(social assistance)

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 Social assistance is a subattribute of health care and social assistance

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11258-11258 Child day care services is a subattribute of social assistance
No TPTP formula. May not be expressible in strict first order. naics.kif 11211-11211 Community food and housing and emergency and other relief services is a subattribute of social assistance
No TPTP formula. May not be expressible in strict first order. naics.kif 11182-11182 Individual and family services is a subattribute of social assistance
No TPTP formula. May not be expressible in strict first order. naics.kif 11252-11252 Vocational rehabilitation services is a subattribute of social assistance
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