| LinguisticExpression(linguistic expression) | | Americanism, Anglicism, Briticism, Britishism, Gallicism, accusative, acronymic, acronymous, adscript, adverbial, allographic, allusive, ambiguity, ambiguous, amphibology, amphiboly, anacoluthic, anaphoric_relation, anatomical, anatomical_reference, antepenult, antepenultima, antepenultimate, appositional, appositive, argot, boilerplate, cant, clausal, cognate, collocation, colloquialism, conjunction, constituent, contrastive, coordinating, coordinating_conjunction, coordinative, copperplate, copulative, copulative_conjunction, coreference, countersign, cross-linguistic, cryptogamic, cryptogamous, cursive, cursive_script, dead_metaphor, denotative... |
| appearance as argument number 1 |
|
|
| (subclass LinguisticExpression ContentBearingPhysical) | Merge.kif 1486-1486 | Linguistic expression is a subclass of content bearing physical |
| (disjoint LinguisticExpression Icon) | Merge.kif 1487-1487 | Linguistic expression is disjoint from icon |
| (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 1489-1492 | Linguistic expression is disjoint from icon |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain representsInLanguage 1 LinguisticExpression) | Merge.kif 4591-4591 | The number 1 argument of represents in language is an instance of linguistic expression |
| (domain expressedInLanguage 1 LinguisticExpression) | Merge.kif 4730-4730 | The number 1 argument of expressed in language is an instance of linguistic expression |
| consequent |
|
|
| (=> (instance ?COMMUNICATE LinguisticCommunication) (exists (?OBJ) (and (represents ?COMMUNICATE ?OBJ) (instance ?OBJ LinguisticExpression) (patient ?COMMUNICATE ?OBJ)))) |
Merge.kif 13429-13435 | If X is an instance of linguistic communication, then there exists Y such that X expresses Y, Y is an instance of linguistic expression, and Y is a patient of X |
| (=> (instance ?TEXT Text) (exists (?PART) (and (part ?PART ?TEXT) (instance ?PART LinguisticExpression)))) |
Merge.kif 15659-15664 | If X is an instance of text, then there exists Y such that Y is a part of X and Y is an instance of linguistic expression |
| (=> (instance ?SIGNING SigningAnAgreement) (exists (?DOC ?TERMS) (and (instance ?DOC LinguisticExpression) (instance ?TERMS Agreement) (containsInformation ?DOC ?TERMS) (patient ?SIGNING ?DOC)))) |
Geography.kif 4557-4564 | If X is an instance of signing an agreement, then there exist Y, Z such that Y is an instance of linguistic expression, Z is an instance of agreement, Y contains information Z, and Y is a patient of X |
| (=> (titleInLanguage ?STRING ?CBP_TYPE ?LANGUAGE) (instance ?STRING LinguisticExpression)) |
Media.kif 3046-3048 | If the title of ?CBP_TYPE in Y is Z, then Z is an instance of linguistic expression |
| (=> (subtitle ?STRING ?WORKTYPE ?LANGUAGE) (exists (?TITLE) (and (instance ?TITLE SymbolicString) (instance ?TITLE LinguisticExpression) (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE)))) |
Media.kif 3163-3169 | If X is a sub-title for Y in Z, then there exists W such that W is an instance of symbolic string, W is an instance of linguistic expression, and the title of Y in Z is W |
| (=> (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 1461-1474 | If X was first expressed as Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of linguistic expression (3) Z represents X in the language Y (4) equal W (5) the time of existence of Z (6) there don't exist V (7) U such that U is an instance of linguistic expression (8) U expresses X (9) equal V (10) the time of existence of U (11) V happens before W |
|
|
|