|
|
   Regretting
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13001-13002 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12999-12999 | 后悔 是 表示不赞成 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13000-13000 | Apologizing 是 后悔 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49264-49264 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49263-49263 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49262-49262 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13004-13009 |
|
|
|