| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15464-15464 | Phrase est une sous-classe de expression linguistique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14232-14232 | Statement est une sous-classe de phrase |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14249-14249 | Question est une sous-classe de phrase |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14260-14260 | Supposition est une sous-classe de phrase |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14271-14271 | Request est une sous-classe de phrase |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14282-14282 | Order est une sous-classe de phrase |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1547-1547 | Formule est une sous-classe de phrase |
|
|