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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NursingAndResidentialCareFacilities

Sigma KEE - NursingAndResidentialCareFacilities
NursingAndResidentialCareFacilities

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11118-11120
No TPTP formula. May not be expressible in strict first order. naics.kif 11116-11116 NursingAndResidentialCareFacilities e' um sub-atributo de HealthCareAndSocialAssistance

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11151-11151 CommunityCareFacilitiesForTheElderly e' um sub-atributo de NursingAndResidentialCareFacilities
No TPTP formula. May not be expressible in strict first order. naics.kif 11122-11122 NursingCareFacilities e' um sub-atributo de NursingAndResidentialCareFacilities
No TPTP formula. May not be expressible in strict first order. naics.kif 11170-11170 OtherResidentialCareFacilities e' um sub-atributo de NursingAndResidentialCareFacilities
No TPTP formula. May not be expressible in strict first order. naics.kif 11128-11128 ResidentialMentalRetardationMentalHealthAndSubstanceAbuseFacilities e' um sub-atributo de NursingAndResidentialCareFacilities
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41465-41465
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41464-41464
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41463-41463


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