LinguisticExpression
|
|
appearance as argument number 1 |
(disjoint LinguisticExpression Icon) | Merge.kif 1398-1398 | |
(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 |
appearance as argument number 2 |
appearance as argument number 3 |
(domain expressedInLanguage 1 LinguisticExpression) | Merge.kif 4618-4618 | |
(domain representsInLanguage 1 LinguisticExpression) | Merge.kif 4478-4478 |
consequent |
(=> (instance ?COMMUNICATE LinguisticCommunication) (exists (?OBJ) (and (represents ?COMMUNICATE ?OBJ) (instance ?OBJ LinguisticExpression) (patient ?COMMUNICATE ?OBJ)))) |
Merge.kif 13176-13182 | |
(=> (instance ?SIGNING SigningAnAgreement) (exists (?DOC ?TERMS) (and (instance ?DOC LinguisticExpression) (instance ?TERMS Agreement) (containsInformation ?DOC ?TERMS) (patient ?SIGNING ?DOC)))) |
Geography.kif 3125-3132 | |
(=> (instance ?TEXT Text) (exists (?PART) (and (part ?PART ?TEXT) (instance ?PART LinguisticExpression)))) |
Merge.kif 15413-15418 | |
(=> (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 1457-1470 | |
(=> (subtitle ?STRING ?WORKTYPE ?LANGUAGE) (exists (?TITLE) (and (instance ?TITLE SymbolicString) (instance ?TITLE LinguisticExpression) (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE)))) |
Media.kif 3216-3222 | |
(=> (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE) (instance ?STRING LinguisticExpression)) |
Media.kif 3099-3101 |