Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| representsInLanguage |
| appearance as argument number 1 |
|
| (instance representsInLanguage TernaryPredicate) | Merge.kif 4590-4590 | represents in language is an instance of ternary predicate |
| (domain representsInLanguage 1 LinguisticExpression) | Merge.kif 4591-4591 | The number 1 argument of represents in language is an instance of linguistic expression |
| (domain representsInLanguage 2 Entity) | Merge.kif 4592-4592 | The number 2 argument of represents in language is an instance of entity |
| (domain representsInLanguage 3 Language) | Merge.kif 4593-4593 | The number 3 argument of represents in language is an instance of language |
| (documentation representsInLanguage EnglishLanguage "A very general predicate. (representsInLanguage ?THING ?ENTITY ?LANGUAGE) means that the LinguisticExpression ?THING stands for ?ENTITY in the Language ?LANGUAGE.") | Merge.kif 4595-4598 | The number 3 argument of represents in language is an instance of language |
| appearance as argument number 2 |
|
|
| (subrelation titleInLanguage representsInLanguage) | Media.kif 3040-3040 | title in language is a subrelation of represents in language |
| (termFormat EnglishLanguage representsInLanguage "represents in language") | domainEnglishFormat.kif 49539-49539 | title in language is a subrelation of represents in language |
| (termFormat ChineseTraditionalLanguage representsInLanguage "用語言表示") | domainEnglishFormat.kif 49540-49540 | title in language is a subrelation of represents in language |
| (termFormat ChineseLanguage representsInLanguage "用语言表示") | domainEnglishFormat.kif 49541-49541 | title in language is a subrelation of represents in language |
| (format EnglishLanguage representsInLanguage "%1 %n{doesn't} represent%p{s} %2 in the language %3") | english_format.kif 232-232 | title in language is a subrelation of represents in language |
| antecedent |
|
|
| (=> (representsInLanguage ?REP ?ENTITY ?LANGUAGE) (exists (?AGENT) (representsForAgent ?REP ?ENTITY ?AGENT))) |
Merge.kif 4600-4603 | If X represents Y in the language Z, then there exists W such that W uses X to stand for Y |
| (=> (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE) (expressedInLanguage ?EXPRESS ?LANGUAGE)) |
Merge.kif 4742-4744 | If X represents Y in the language Z, then X is expressed in language Z |
| consequent |
|
|
| (=> (expressedInLanguage ?EXPRESS ?LANGUAGE) (exists (?PROP) (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE))) |
Merge.kif 4737-4740 | If X is expressed in language Y, then there exists Z such that X represents Z in the language Y |
| (=> (and (instance ?TRANSLATE Translating) (patient ?TRANSLATE ?EXPRESSION1) (result ?TRANSLATE ?EXPRESSION2)) (exists (?LANGUAGE1 ?LANGUAGE2 ?ENTITY) (and (representsInLanguage ?EXPRESSION1 ?ENTITY ?LANGUAGE1) (representsInLanguage ?EXPRESSION2 ?ENTITY ?LANGUAGE2) (not (equal ?LANGUAGE1 ?LANGUAGE2))))) |
Merge.kif 13026-13035 | If X is an instance of translating, Y is a patient of X, and Z is a result of X, then there exist W, V, U such that Y represents U in the language W, Z represents U in the language V, equal W, and V |
| (=> (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 |
|