LinguisticExpression
|
|
appearance as argument number 1 |
(disjoint LinguisticExpression Icon) | Merge.kif 1398-1398 | 不相交的 LinguisticExpression and Icon |
(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 | 子類 LinguisticExpression and 內容承載物理 |
appearance as argument number 2 |
appearance as argument number 3 |
(domain expressedInLanguage 1 LinguisticExpression) | Merge.kif 4617-4617 | 域 用語言表達, 1 and LinguisticExpression |
(domain representsInLanguage 1 LinguisticExpression) | Merge.kif 4477-4477 | 域 用語言表示, 1 and LinguisticExpression |
consequent |