| LinguisticExpression(言語表現) | |
| appearance as argument number 1 |
|
|
| (disjoint LinguisticExpression Icon) | Merge.kif 1408-1408 | 言語表現 と アイコン は disjoint では |
| (documentation LinguisticExpression ChineseLanguage "这是 ContentBearingPhysical 和语言有关联的子类本。 注：这个 Class 涵盖 Language 和属于 Language 的元素，例如 Words 。") | chinese_format.kif 1656-1657 | 言語表現 と アイコン は disjoint では |
| (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 1410-1413 | 言語表現 と アイコン は disjoint では |
| (documentation LinguisticExpression JapaneseLanguage "これはの ContentBearingPhysical の サブクラスで、言語関連である。 注：このClass は、Language と Languages の要素の両方を含 む。 例：Words。") | japanese_format.kif 243-245 | 言語表現 と アイコン は disjoint では |
| (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 | 言語表現 と アイコン は disjoint では |
| (subclass LinguisticExpression ContentBearingPhysical) | Merge.kif 1407-1407 | 言語表現 は ContentBearingPhysical の subclass では |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain expressedInLanguage 1 LinguisticExpression) | Merge.kif 4645-4645 | expressedInLanguage の数値 1 引数は 言語表現 の instance では |
| (domain representsInLanguage 1 LinguisticExpression) | Merge.kif 4505-4505 | representsInLanguage の数値 1 引数は 言語表現 の instance では |
| consequent |
|
|
|
|
|