| appearance as argument number 1 |
|
| (subclass LinguisticExpression ContentBearingPhysical) | Merge.kif 1432-1432 | Linguistic expression is a subclass of content bearing physical |
| (disjoint LinguisticExpression Icon) | Merge.kif 1433-1433 | 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 1435-1438 | Linguistic expression is disjoint from icon |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain representsInLanguage 1 LinguisticExpression) | Merge.kif 4529-4529 | The number 1 argument of represents in language is an instance of linguistic expression |
| (domain expressedInLanguage 1 LinguisticExpression) | Merge.kif 4669-4669 | 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 13306-13312 | 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 15542-15547 | 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 4580-4587 | 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 3101-3103 | 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 3218-3224 | 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 1459-1472 | 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners