FormallyConstitutedOrganization has not axioms and is only used once. Can it be removed? We already have FormalOrganziation.

 

Recommended Additions

Classes

Properties

isGuaranteedBy: 

The inverse of guarantees, is needed in loans. Suggest NOT add class for Guarantor, no obvious need.

Recommended Changes