|
|
   LinguisticExpression
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint LinguisticExpression Icon) | Merge.kif 1385-1385 | 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 1387-1390 | |
| (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 1384-1384 | Expression linguistique est une sous-classe de ContentBearingPhysical |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain expressedInLanguage 1 LinguisticExpression) | Merge.kif 4603-4603 | Le nombre 1 argument de expressedInLanguage est une instance de expression linguistique |
| (domain representsInLanguage 1 LinguisticExpression) | Merge.kif 4463-4463 | Le nombre 1 argument de representsInLanguage est une instance de expression linguistique |
| consequent |
|
|
|
|
|