| (subclass Sentence LinguisticExpression) | Merge.kif 15595-15595 | |
| (subclass Statement Sentence) | Mid-level-ontology.kif 15604-15604 | |
| (subclass Question Sentence) | Mid-level-ontology.kif 15621-15621 | |
| (subclass Supposition Sentence) | Mid-level-ontology.kif 15632-15632 | |
| (subclass Request Sentence) | Mid-level-ontology.kif 15643-15643 | |
| (subclass Order Sentence) | Mid-level-ontology.kif 15654-15654 | |
| (subclass Formula Sentence) | Merge.kif 1557-1557 |
|
|