| (subclass Offering Committing) | Merge.kif 13233-13233 | Offering は 委託 の subclass では %n |
| (subclass OfferingForSale Offering) | Mid-level-ontology.kif 7827-7827 | OfferingForSale は Offering の subclass では %n |
| (subclass OfferingToPurchase Offering) | Mid-level-ontology.kif 7841-7841 | OfferingToPurchase は Offering の subclass では %n |
| (subclass BargainSale Offering) | Mid-level-ontology.kif 7844-7844 | BargainSale は Offering の subclass では %n |
| (subclass Volunteering Offering) | Merge.kif 10693-10693 | Volunteering は Offering の subclass では %n |
|
|