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

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11258-11258 ChildDayCareServices est un sous-attribut de SocialAssistance
No TPTP formula. May not be expressible in strict first order. naics.kif 11211-11211 CommunityFoodAndHousingAndEmergencyAndOtherReliefServices est un sous-attribut de SocialAssistance
No TPTP formula. May not be expressible in strict first order. naics.kif 11182-11182 IndividualAndFamilyServices est un sous-attribut de SocialAssistance
No TPTP formula. May not be expressible in strict first order. naics.kif 11252-11252 VocationalRehabilitationServices est un sous-attribut de SocialAssistance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53614-53614
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53613-53613
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53612-53612


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