representsInLanguage - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - representsInLanguage

representsInLanguage

appearance as argument number 1

(documentation representsInLanguage ChineseLanguage "这是一个十分概括的谓词， (representsInLanguage ?THING ?ENTITY ?LANGUAGE)的意思是 LinguisticExpression ?THING 在 Language ?LANGUAGE 代表 ?ENTITY。")	chinese_format.kif 2172-2174
(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 4534-4537
(documentation representsInLanguage JapaneseLanguage "非常に一般的な述語。 (representsInLanguage ?THING ?ENTITY ?LANGUAGE) とは、 Language ?LANGUAGE で LinguisticExpression ?THING とは　?ENTITY を表す。")	japanese_format.kif 832-834
(domain representsInLanguage 1 LinguisticExpression)	Merge.kif 4530-4530	The number 1 argument of represents in language is an instance of linguistic expression
(domain representsInLanguage 2 Entity)	Merge.kif 4531-4531	The number 2 argument of represents in language is an instance of entity
(domain representsInLanguage 3 Language)	Merge.kif 4532-4532	The number 3 argument of represents in language is an instance of language
(instance representsInLanguage TernaryPredicate)	Merge.kif 4529-4529	represents in language is an instance of ternary predicate

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 3095-3095	title in language is a subrelation of represents in language
(termFormat ChineseLanguage representsInLanguage "所表示的语言")	chinese_format.kif 232-232	title in language is a subrelation of represents in language
(termFormat ChineseLanguage representsInLanguage "用语言表示")	domainEnglishFormat.kif 49547-49547	title in language is a subrelation of represents in language
(termFormat ChineseTraditionalLanguage representsInLanguage "用語言表示")	domainEnglishFormat.kif 49546-49546	title in language is a subrelation of represents in language
(termFormat EnglishLanguage representsInLanguage "represents in language")	domainEnglishFormat.kif 49545-49545	title in language is a subrelation of represents in language
(termFormat de representsInLanguage "inSpracheDargestellt")	terms-de.txt 97-97	title in language is a subrelation of represents in language

antecedent

(=> (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE) (expressedInLanguage ?EXPRESS ?LANGUAGE))	Merge.kif 4682-4684	If a linguistic expression represents an entity in the language a language, then the linguistic expression is expressed in language the language
(=> (representsInLanguage ?REP ?ENTITY ?LANGUAGE) (exists (?AGENT) (representsForAgent ?REP ?ENTITY ?AGENT)))	Merge.kif 4539-4542	If a linguistic expression represents an entity in the language a language, then there exists an agent such that the agent uses the linguistic expression to stand for the entity

consequent

(=> (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 12912-12921	If a process is an instance of translating and a linguistic expression is a patient of the process and another linguistic expression is a result of the process, then there exist a language, another language and an entity such that the linguistic expression represents the entity in the language the language and the other linguistic expression represents the entity in the language the other language and equal the language and the other language
(=> (expressedInLanguage ?EXPRESS ?LANGUAGE) (exists (?PROP) (representsInLanguage ?EXPRESS ?PROP ?LANGUAGE)))	Merge.kif 4677-4680	If a linguistic expression is expressed in language a language, then there exists an entity such that the linguistic expression represents the entity in the language the language
(=> (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 a proposition was first expressed as a language, then there exist a linguistic expression and a time interval such that the linguistic expression is an instance of linguistic expression and the linguistic expression represents the proposition in the language the language and equal the time interval and the time of existence of the linguistic expression and there don't exist another time interval and a physical such that the physical is an instance of linguistic expression and the physical expresses the proposition and equal the other time interval and the time of existence of the physical and the other time interval happens before the time interval

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