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 社会救助 是 保健和社会援助 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11258-11258 儿童日托服务 是 社会救助 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 11211-11211 社区食品和住房以及紧急和其他救济服务 是 社会救助 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 11182-11182 个人和家庭服务 是 社会救助 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 11252-11252 职业康复服务 是 社会救助 的 subAttribute
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