| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13233-13233 | Offering e' uma sub-classe de Comprometer-se |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7827-7827 | OfferingForSale e' uma sub-classe de Offering |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7841-7841 | OfferingToPurchase e' uma sub-classe de Offering |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7844-7844 | BargainSale e' uma sub-classe de Offering |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10693-10693 | Volunteering e' uma sub-classe de Offering |
|
|