| (subclass Offering Committing) | Merge.kif 13279-13279 | Offering is a subclass of committing |
| (subclass OfferingForSale Offering) | Mid-level-ontology.kif 7854-7854 | Offering for sale is a subclass of offering |
| (subclass OfferingToPurchase Offering) | Mid-level-ontology.kif 7868-7868 | Offering to purchase is a subclass of offering |
| (subclass BargainSale Offering) | Mid-level-ontology.kif 7871-7871 | Bargain sale is a subclass of offering |
| (subclass Volunteering Offering) | Merge.kif 10727-10727 | Volunteering is a subclass of offering |
|
|