Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
representsInLanguage
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 4481-4484
(
documentation
representsInLanguage
JapaneseLanguage
"非常に一般的な述語。 (
representsInLanguage
?THING ?ENTITY ?LANGUAGE) とは、
Language
?LANGUAGE で
LinguisticExpression
?THING とは ?ENTITY を表す。")
japanese_format.kif 832-834
(
domain
representsInLanguage
1
LinguisticExpression
)
Merge.kif 4477-4477
The number 1 argument of
represents in language
is an
instance
of
linguistic expression
(
domain
representsInLanguage
2
Entity
)
Merge.kif 4478-4478
The number 2 argument of
represents in language
is an
instance
of
entity
(
domain
representsInLanguage
3
Language
)
Merge.kif 4479-4479
The number 3 argument of
represents in language
is an
instance
of
language
(
instance
representsInLanguage
TernaryPredicate
)
Merge.kif 4476-4476
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 3111-3111
title in language
is a
subrelation
of
represents in language
(
termFormat
ChineseLanguage
representsInLanguage
"所表示的语言")
chinese_format.kif 232-232
(
termFormat
ChineseLanguage
representsInLanguage
"用语言表示")
domainEnglishFormat.kif 49544-49544
(
termFormat
ChineseTraditionalLanguage
representsInLanguage
"用語言表示")
domainEnglishFormat.kif 49543-49543
(
termFormat
EnglishLanguage
representsInLanguage
"represents in language")
domainEnglishFormat.kif 49542-49542
(
termFormat
de
representsInLanguage
"inSpracheDargestellt")
terms-de.txt 97-97
antecedent
(=>
(
representsInLanguage
?EXPRESS ?PROP ?LANGUAGE)
(
expressedInLanguage
?EXPRESS ?LANGUAGE))
Merge.kif 4629-4631
If
a linguistic expression
represent
s
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 4486-4489
If
a linguistic expression
represent
s
an entity
in the language
a language
,
then there exists
an agent
such that
the agent
use
s
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 12758-12767
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
represent
s
the entity
in the language
the language
and
the other linguistic expression
represent
s
the entity
in the language
the other language
and
the language
is not
equal
to
the other language
(=>
(
expressedInLanguage
?EXPRESS ?LANGUAGE)
(
exists
(?PROP)
(
representsInLanguage
?EXPRESS ?PROP ?LANGUAGE)))
Merge.kif 4624-4627
If
a linguistic expression
is
expressed
in language
a language
,
then there exists
an entity
such that
the linguistic expression
represent
s
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 1457-1470
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
represent
s
the proposition
in the language
the language
and
the time interval
is
equal
to 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
express
es
the proposition
and
the other time interval
is
equal
to the
time
of existence of
the physical
and
the other time interval
happens
before
the time interval
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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