|  A.S. wishes to show the following
|
|  cc:Locus----SubclassOf---->
|  union of {umls:Anatomical_Structure, umls:Body_Location_or_Region,
|  umls:Body_Space_or_Junction, umls:Body_Substance, umls:Body_System }
|  umls:Anatomical_Structure----SubclassOf---->umls:Physical_Object
|  umls:Anatomical_Structure----SuperClassOf---->umls:Fully_Formed_Anatomical_Structure
|  umls:Body_Part__Organ__or_Organ_Component----SubclassOf---->umls:Fully_Formed_Anatomical_Structure
|  --------------------------------------------------------------------------------------------------
|  umls:Body_Part__Organ__or_Organ_Component hasSubclass(cc:locus)
|
|  IBL wrote -- here's one way to do this in the IBL system... (You could also write more general rules.)



some-class is a subclass of some-class1
that-class1 is a union containing some-class2
that-class2 is a superclass of some-class3
some-class4 is a subclass of that-class3
--------------------------------------------
that-class4 has a subclass that-class


this-class is a union containing this-class1
=============================================
union class         umls:Anatomical Structure
union class         umls:Body Location or Region
union class         umls:Body Space or Junction
union class         umls:Body Substance
union class         umls:Body System


this-class is a subclass of this-class1
============================================================================
umls:Anatomical Structure            umls:Physical Object
Body Part Organ or Organ Component   umls:Fully Formed Anatomical Structure
cc:Locus                             union class


this-class is a superclass of this-class1
==================================================================
umls:Anatomical Structure   umls:Fully Formed Anatomical Structure