| LinguisticExpression(expression linguistique) | |
| appearance as argument number 1 |
|
|
| (disjoint LinguisticExpression Icon) | Merge.kif 1398-1398 | Expression linguistique est disjoint de icone |
| (documentation LinguisticExpression ChineseLanguage "这是 ContentBearingPhysical 和语言有关联的子类本。 注：这个 Class 涵盖 Language 和属于 Language 的元素，例如 Words 。") | chinese_format.kif 1656-1657 | |
| (documentation LinguisticExpression EnglishLanguage "This is the subclass of ContentBearingPhysical which are language-related. Note that this Class encompasses both Language and the the elements of Languages, e.g. Words.") | Merge.kif 1400-1403 | |
| (documentation LinguisticExpression JapaneseLanguage "これはの ContentBearingPhysical の サブクラスで、言語関連である。 注：このClass は、Language と Languages の要素の両方を含 む。 例：Words。") | japanese_format.kif 243-245 | |
| (documentation LinguisticExpression SpanishLanguage "Esta es la subclase de ContentBearingPhysical que es relacionada con idiomas. Note que esta Class abarca ambos Language y los elementos de Languages, por ejemplo Words «palabras».") | spanish_format.kif 287-289 | |
| (subclass LinguisticExpression ContentBearingPhysical) | Merge.kif 1397-1397 | Expression linguistique est une sous-classe de ContentBearingPhysical |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain expressedInLanguage 1 LinguisticExpression) | Merge.kif 4618-4618 | Le nombre 1 argument de expressedInLanguage est une instance de expression linguistique |
| (domain representsInLanguage 1 LinguisticExpression) | Merge.kif 4478-4478 | Le nombre 1 argument de representsInLanguage est une instance de expression linguistique |
| consequent |
|
|
|
|
|