| (subclass Sentence LinguisticExpression) | Merge.kif 15442-15442 | |
| (subclass Statement Sentence) | Mid-level-ontology.kif 14233-14233 | |
| (subclass Question Sentence) | Mid-level-ontology.kif 14250-14250 | |
| (subclass Supposition Sentence) | Mid-level-ontology.kif 14261-14261 | |
| (subclass Request Sentence) | Mid-level-ontology.kif 14272-14272 | |
| (subclass Order Sentence) | Mid-level-ontology.kif 14283-14283 | |
| (subclass Formula Sentence) | Merge.kif 1547-1547 |
|
|