No TPTP formula. May not be expressible in strict first order. | Merge.kif 15442-15442 | Phrase est une sous-classe de expression linguistique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14233-14233 | Statement est une sous-classe de phrase |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14250-14250 | Question est une sous-classe de phrase |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14261-14261 | Supposition est une sous-classe de phrase |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14272-14272 | Request est une sous-classe de phrase |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14283-14283 | 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 |