No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13000-13000 | Apologizing est une sous-classe de Regretting |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29666-29666 | Apologizing est une sous-classe de d�clarer |