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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ResidentialMentalRetardationMentalHealthAndSubstanceAbuseFacilities

Sigma KEE - ResidentialMentalRetardationMentalHealthAndSubstanceAbuseFacilities
ResidentialMentalRetardationMentalHealthAndSubstanceAbuseFacilities(residential mental retardation mental health and substance abuse facilities)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11130-11134
No TPTP formula. May not be expressible in strict first order. naics.kif 11128-11128 Residential mental retardation mental health and substance abuse facilities is a subattribute of nursing and residential care facilities

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11143-11143 Residential mental health and substance abuse facilities is a subattribute of residential mental retardation mental health and substance abuse facilities
No TPTP formula. May not be expressible in strict first order. naics.kif 11136-11136 Residential mental retardation facilities is a subattribute of residential mental retardation mental health and substance abuse facilities
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49664-49664
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49663-49663
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49662-49662


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