| LinguisticExpression | |
| appearance as argument number 1 |
|
|
| (disjoint LinguisticExpression Icon) | Merge.kif 1393-1393 | |
| (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 1395-1398 | |
| (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 1392-1392 |
| appearance as argument number 2 |
|
|
| (subclass AlphaNumericString LinguisticExpression) | Media.kif 2941-2941 | |
| (subclass AlphabeticString LinguisticExpression) | Media.kif 2904-2904 | |
| (subclass Language LinguisticExpression) | Merge.kif 1400-1400 | |
| (subclass Morpheme LinguisticExpression) | Merge.kif 15412-15412 | |
| (subclass Phrase LinguisticExpression) | Merge.kif 15439-15439 | |
| (subclass PostalAddressText LinguisticExpression) | Mid-level-ontology.kif 26528-26528 | |
| (subclass Sentence LinguisticExpression) | Merge.kif 15580-15580 | |
| (subclass Text LinguisticExpression) | Merge.kif 15497-15497 | |
| (subclass Word LinguisticExpression) | Merge.kif 1538-1538 | |
| (termFormat ChineseLanguage LinguisticExpression "语言式表达") | chinese_format.kif 838-838 | |
| (termFormat EnglishLanguage LinguisticExpression "linguistic expression") | english_format.kif 878-878 | |
| (termFormat FrenchLanguage LinguisticExpression "expression linguistique") | french_format.kif 514-514 | |
| (termFormat Hindi LinguisticExpression "bhaashaa-sambandhI abhivyakti") | terms-hindi.txt 46-46 | |
| (termFormat ItalianLanguage LinguisticExpression "EspressioneLinguistica") | terms-it.txt 49-49 | |
| (termFormat JapaneseLanguage LinguisticExpression "言語表現") | japanese_format.kif 2199-2199 | |
| (termFormat PortugueseLanguage LinguisticExpression "Expressao Linguistica") | portuguese_format.kif 466-466 | |
| (termFormat cz LinguisticExpression "linguistic expression") | terms-cz.txt 81-81 | |
| (termFormat de LinguisticExpression "linguistischer Ausdruck") | terms-de.txt 340-340 | |
| (termFormat ro LinguisticExpression "expresie lingvisticã") | relations-ro.kif 535-535 | |
| (termFormat tg LinguisticExpression "hatol") | terms-tg.txt 50-50 |
| appearance as argument number 3 |
|
|
| (domain expressedInLanguage 1 LinguisticExpression) | Merge.kif 4630-4630 | |
| (domain representsInLanguage 1 LinguisticExpression) | Merge.kif 4490-4490 |
| consequent |
|
|
| (=> (instance ?COMMUNICATE LinguisticCommunication) (exists (?OBJ) (and (represents ?COMMUNICATE ?OBJ) (instance ?OBJ LinguisticExpression) (patient ?COMMUNICATE ?OBJ)))) |
Merge.kif 13269-13275 | |
| (=> (instance ?SIGNING SigningAnAgreement) (exists (?DOC ?TERMS) (and (instance ?DOC LinguisticExpression) (instance ?TERMS Agreement) (containsInformation ?DOC ?TERMS) (patient ?SIGNING ?DOC)))) |
Geography.kif 3113-3120 | |
| (=> (instance ?TEXT Text) (exists (?PART) (and (part ?PART ?TEXT) (instance ?PART LinguisticExpression)))) |
Merge.kif 15505-15510 | |
| (=> (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 1459-1472 | |
| (=> (subtitle ?STRING ?WORKTYPE ?LANGUAGE) (exists (?TITLE) (and (instance ?TITLE SymbolicString) (instance ?TITLE LinguisticExpression) (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE)))) |
Media.kif 3218-3224 | |
| (=> (titleInLanguage ?STRING ?CBP_TYPE ?LANGUAGE) (instance ?STRING LinguisticExpression)) |
Media.kif 3101-3103 |
|
|
|