| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13233-13233 | 提供 是 承诺 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7827-7827 | 提供出售 是 提供 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7841-7841 | 提供购买 是 提供 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7844-7844 | 廉价出售 是 提供 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10693-10693 | Volunteering 是 提供 的 subclass |
|
|