(subclass OfferingToPurchase Offering) | Mid-level-ontology.kif 7841-7841 | OfferingToPurchase は Offering の subclass では %n |
(subclass BestOffering OfferingToPurchase) | UXExperimentalTerms.kif 1647-1647 | BestOffering は OfferingToPurchase の subclass では %n |