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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HospitalOrganization

Sigma KEE - HospitalOrganization
HospitalOrganization(hospital organization)ICU, NICU, coronary_care_unit, hospital, intensive_care_unit, neonatal_intensive_care_unit

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7643-7644
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7642-7642 Hospital organization is a subclass of care organization

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7625-7625 Care organization is exhaustively partitioned into hospital organization and medical clinic
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28617-28617
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28616-28616
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28615-28615


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