(subclass Offering Committing) | Merge.kif 13233-13233 | |
(subclass OfferingForSale Offering) | Mid-level-ontology.kif 7827-7827 | |
(subclass OfferingToPurchase Offering) | Mid-level-ontology.kif 7841-7841 | |
(subclass BargainSale Offering) | Mid-level-ontology.kif 7844-7844 | |
(subclass Volunteering Offering) | Merge.kif 10693-10693 |