| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15464-15464 | Sentence is a subclass of linguistic expression |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14232-14232 | Statement is a subclass of sentence |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14249-14249 | Question is a subclass of sentence |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14260-14260 | Supposition is a subclass of sentence |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14271-14271 | Request is a subclass of sentence |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14282-14282 | Order is a subclass of sentence |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1547-1547 | Formula is a subclass of sentence |
|
|