|
|
   LinguisticExpression
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint LinguisticExpression Icon) | Merge.kif 1338-1338 | |
| (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 1340-1343 | |
| (subclass LinguisticExpression ContentBearingPhysical) | Merge.kif 1337-1337 |
| appearance as argument number 2 |
|
|
| (subclass AlphaNumericString LinguisticExpression) | Media.kif 2927-2927 | |
| (subclass AlphabeticString LinguisticExpression) | Media.kif 2890-2890 | |
| (subclass Language LinguisticExpression) | Merge.kif 1345-1345 | |
| (subclass Morpheme LinguisticExpression) | Merge.kif 14992-14992 | |
| (subclass Phrase LinguisticExpression) | Merge.kif 15019-15019 | |
| (subclass PostalAddressText LinguisticExpression) | Mid-level-ontology.kif 24197-24197 | |
| (subclass Sentence LinguisticExpression) | Merge.kif 15160-15160 | |
| (subclass Text LinguisticExpression) | Merge.kif 15077-15077 | |
| (subclass Word LinguisticExpression) | Merge.kif 1483-1483 | |
| (termFormat ChineseLanguage LinguisticExpression "语言式表达") | chinese_format.kif 838-838 | |
| (termFormat EnglishLanguage LinguisticExpression "linguistic expression") | english_format.kif 878-878 |
| appearance as argument number 3 |
|
|
| (domain expressedInLanguage 1 LinguisticExpression) | Merge.kif 4521-4521 | |
| (domain representsInLanguage 1 LinguisticExpression) | Merge.kif 4381-4381 |
| consequent |
|
|
| (=> (instance ?COMMUNICATE LinguisticCommunication) (exists (?OBJ) (and (represents ?COMMUNICATE ?OBJ) (instance ?OBJ LinguisticExpression) (patient ?COMMUNICATE ?OBJ)))) |
Merge.kif 12884-12890 | |
| (=> (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 15085-15090 | |
| (=> (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 |
|
|
|