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
Suggest incoorprating the following in the definition of 'guarantees: to cover loan guarantees. "The guarantor bears primary responsibility for losses in the case of default on a loan or debt obligation".