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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ResidentialMentalRetardationMentalHealthAndSubstanceAbuseFacilities

Sigma KEE - ResidentialMentalRetardationMentalHealthAndSubstanceAbuseFacilities
ResidentialMentalRetardationMentalHealthAndSubstanceAbuseFacilities(住院精神障碍心理健康和药物滥用设施)

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 住院精神障碍心理健康和药物滥用设施护理和住宿护理设施subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11143-11143 住宅心理健康和药物滥用设施住院精神障碍心理健康和药物滥用设施subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 11136-11136 住宅精神障碍设施住院精神障碍心理健康和药物滥用设施subAttribute
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