| LinguisticExpression(语言式表达) | |
| appearance as argument number 1 |
|
|
| (disjoint LinguisticExpression Icon) | Merge.kif 1344-1344 | 语言式表达 和 % 2 是 disjoint |
| (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 1346-1349 | |
| (subclass LinguisticExpression ContentBearingPhysical) | Merge.kif 1343-1343 | 语言式表达 是 内容承载物理 的 subclass |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain expressedInLanguage 1 LinguisticExpression) | Merge.kif 4527-4527 | 所表达的语言 的 1 数量 是 语言式表达 的 instance |
| (domain representsInLanguage 1 LinguisticExpression) | Merge.kif 4387-4387 | 所表示的语言 的 1 数量 是 语言式表达 的 instance |
| consequent |
|
|
| (=> (instance ?COMMUNICATE LinguisticCommunication) (exists (?OBJ) (and (represents ?COMMUNICATE ?OBJ) (instance ?OBJ LinguisticExpression) (patient ?COMMUNICATE ?OBJ)))) |
Merge.kif 12890-12896 | |
| (=> (instance ?SIGNING SigningAnAgreement) (exists (?DOC ?TERMS) (and (instance ?DOC LinguisticExpression) (instance ?TERMS Agreement) (containsInformation ?DOC ?TERMS) (patient ?SIGNING ?DOC)))) |
Geography.kif 3047-3054 | |
| (=> (instance ?TEXT Text) (exists (?PART) (and (part ?PART ?TEXT) (instance ?PART LinguisticExpression)))) |
Merge.kif 15098-15103 | |
| (=> (originalExpressedInLanguage ?PROP ?LANG) (exists (?PHYS ?TIME) (and (instance ?PHYS LinguisticExpression) (representsInLanguage ?PHYS ?PROP ?LANG) (equal ?TIME (WhenFn ?PHYS)) (not (exists (?BEFORE ?OTHER) (and (instance ?OTHER LinguisticExpression) (represents ?OTHER ?PROP) (equal ?BEFORE (WhenFn ?OTHER)) (before ?BEFORE ?TIME))))))) |
Music.kif 1450-1463 | |
| (=> (subtitle ?STRING ?WORKTYPE ?LANGUAGE) (exists (?TITLE) (and (instance ?TITLE SymbolicString) (instance ?TITLE LinguisticExpression) (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE)))) |
Media.kif 3222-3228 | |
| (=> (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE) (instance ?STRING LinguisticExpression)) |
Media.kif 3105-3107 |
|
|
|