| (subclass Sentence LinguisticExpression) | Merge.kif 14320-14320 | |
| (subclass Statement Sentence) | Mid-level-ontology.kif 11883-11883 | |
| (subclass Question Sentence) | Mid-level-ontology.kif 11900-11900 | |
| (subclass Supposition Sentence) | Mid-level-ontology.kif 11911-11911 | |
| (subclass Request Sentence) | Mid-level-ontology.kif 11922-11922 | |
| (subclass Order Sentence) | Mid-level-ontology.kif 11933-11933 | |
| (subclass Formula Sentence) | Merge.kif 1428-1428 |
|
|