No TPTP formula. May not be expressible in strict first order. | Merge.kif 13233-13233 | Offering is a subclass of committing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7827-7827 | Offering for sale is a subclass of offering |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7841-7841 | Offering to purchase is a subclass of offering |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7844-7844 | Bargain sale is a subclass of offering |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10693-10693 | Volunteering is a subclass of offering |