| (subclass Sentence LinguisticExpression) | Merge.kif 15464-15464 | 文 は 言語表現 の subclass では %n |
| (subclass Statement Sentence) | Mid-level-ontology.kif 14232-14232 | Statement は 文 の subclass では %n |
| (subclass Question Sentence) | Mid-level-ontology.kif 14249-14249 | Question は 文 の subclass では %n |
| (subclass Supposition Sentence) | Mid-level-ontology.kif 14260-14260 | Supposition は 文 の subclass では %n |
| (subclass Request Sentence) | Mid-level-ontology.kif 14271-14271 | Request は 文 の subclass では %n |
| (subclass Order Sentence) | Mid-level-ontology.kif 14282-14282 | Order は 文 の subclass では %n |
| (subclass Formula Sentence) | Merge.kif 1547-1547 | 公式 は 文 の subclass では %n |
|
|