| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13255-13255 | Offering est une sous-classe de investir |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7826-7826 | OfferingForSale est une sous-classe de Offering |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7840-7840 | OfferingToPurchase est une sous-classe de Offering |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7843-7843 | BargainSale est une sous-classe de Offering |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10715-10715 | Volunteering est une sous-classe de Offering |
|
|