(subclass Offering Committing) | Merge.kif 13255-13255 | |
(subclass OfferingForSale Offering) | Mid-level-ontology.kif 7826-7826 | |
(subclass OfferingToPurchase Offering) | Mid-level-ontology.kif 7840-7840 | |
(subclass BargainSale Offering) | Mid-level-ontology.kif 7843-7843 | |
(subclass Volunteering Offering) | Merge.kif 10715-10715 |