| (subclass Sentence LinguisticExpression) | Merge.kif 15464-15464 | Sentence is a subclass of linguistic expression |
| (subclass Statement Sentence) | Mid-level-ontology.kif 14232-14232 | Statement is a subclass of sentence |
| (subclass Question Sentence) | Mid-level-ontology.kif 14249-14249 | Question is a subclass of sentence |
| (subclass Supposition Sentence) | Mid-level-ontology.kif 14260-14260 | Supposition is a subclass of sentence |
| (subclass Request Sentence) | Mid-level-ontology.kif 14271-14271 | Request is a subclass of sentence |
| (subclass Order Sentence) | Mid-level-ontology.kif 14282-14282 | Order is a subclass of sentence |
| (subclass Formula Sentence) | Merge.kif 1547-1547 | Formula is a subclass of sentence |
|
|