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 子屬性 社會救助 and 保健和社會援助

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11258-11258 子屬性 兒童日托服務 and 社會救助
No TPTP formula. May not be expressible in strict first order. naics.kif 11211-11211 子屬性 社區食品和住房以及緊急和其他救濟服務 and 社會救助
No TPTP formula. May not be expressible in strict first order. naics.kif 11182-11182 子屬性 個人和家庭服務 and 社會救助
No TPTP formula. May not be expressible in strict first order. naics.kif 11252-11252 子屬性 職業康復服務 and 社會救助
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