| (subclass Offering Committing) | Merge.kif 13255-13255 | Offering is a subclass of committing |
| (subclass OfferingForSale Offering) | Mid-level-ontology.kif 7826-7826 | Offering for sale is a subclass of offering |
| (subclass OfferingToPurchase Offering) | Mid-level-ontology.kif 7840-7840 | Offering to purchase is a subclass of offering |
| (subclass BargainSale Offering) | Mid-level-ontology.kif 7843-7843 | Bargain sale is a subclass of offering |
| (subclass Volunteering Offering) | Merge.kif 10715-10715 | Volunteering is a subclass of offering |
|
|