representsInLanguage |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(format ChineseLanguage representsInLanguage "%1 %n{doesn't} 在 %3 语言 表示 %2") | chinese_format.kif 231-231 | |
(format EnglishLanguage representsInLanguage "%1 %n{doesn't} represent%p{s} %2 in the language %3") | english_format.kif 232-232 | |
(format FrenchLanguage representsInLanguage "%1 %n{ne} repr�sente %n{pas} %2 dans le langage %3") | french_format.kif 135-135 | |
(format ItalianLanguage representsInLanguage "%1 rappresenta %2 nella lingua %3") | relations-it.txt 255-255 | |
(format JapaneseLanguage representsInLanguage "%1 は %3 語で %2 を represent%p{s} %n{ない}") | japanese_format.kif 1964-1964 | |
(format PortugueseLanguage representsInLanguage "%1 %n{nao} representa %n %2 na linguagem %3") | portuguese_format.kif 87-87 | |
(format de representsInLanguage "%1 ist in Sprache %2 ausgedrueckt") | relations-de.txt 302-302 | |
(format hi representsInLanguage "%1 %2 ko %3 bhaashhaa men vyakta karataa hai") | relations-hindi.txt 292-292 | |
(format ro representsInLanguage "%1 %n{nu} represent%t{exprimã} %2 în limbã %3") | relations-ro.kif 154-154 | |
(format sv representsInLanguage "%1 representerar %n{inte} %2 i språket %3") | relations-sv.txt 140-140 | |
(format tg representsInLanguage "%1 ay nagtatanto %2 sa wika %3") | relations-tg.txt 447-447 | |
(subrelation titleInLanguage representsInLanguage) | Media.kif 3093-3093 | title in language is a subrelation of represents in language |
(termFormat ChineseLanguage representsInLanguage "所表示的语言") | chinese_format.kif 232-232 | |
(termFormat ChineseLanguage representsInLanguage "用语言表示") | domainEnglishFormat.kif 49546-49546 | |
(termFormat ChineseTraditionalLanguage representsInLanguage "用語言表示") | domainEnglishFormat.kif 49545-49545 | |
(termFormat EnglishLanguage representsInLanguage "represents in language") | domainEnglishFormat.kif 49544-49544 | |
(termFormat de representsInLanguage "inSpracheDargestellt") | terms-de.txt 97-97 |
antecedent |
![]() |
(=> (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE) (expressedInLanguage ?EXPRESS ?LANGUAGE)) |
Merge.kif 4630-4632 |
|
(=> (representsInLanguage ?REP ?ENTITY ?LANGUAGE) (exists (?AGENT) (representsForAgent ?REP ?ENTITY ?AGENT))) |
Merge.kif 4487-4490 |
|
consequent |
![]() |
![]() |
![]() |