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
representsForAgent
Sigma KEE - representsForAgent
representsForAgent
appearance as argument number 1
(
documentation
representsForAgent
ChineseLanguage
"这是一个十分概括的谓词, (
representsForAgent
?ENTITY1 ?ENTITY2 ?AGENT) 的意思是 ?AGENT 选择用 ?ENTITY1 来 '代表' ?ENTITY2。")
chinese_format.kif 2169-2171
(
documentation
representsForAgent
EnglishLanguage
"A very general predicate. (
representsForAgent
?ENTITY1 ?ENTITY2 ?AGENT) means that the ?AGENT chooses to use ?ENTITY1 to 'stand for' ?ENTITY2.")
Merge.kif 4469-4471
(
documentation
representsForAgent
JapaneseLanguage
"非常に一般的な述語。 (
representsForAgent
?ENTITY1 ?ENTITY2 ?AGENT) とは、AGENT が ?ENTITY2 を「表す」ために、 ?ENTITY1 を使用することを選択することを意味する。")
japanese_format.kif 829-831
(
domain
representsForAgent
1
Entity
)
Merge.kif 4465-4465
(
domain
representsForAgent
2
Entity
)
Merge.kif 4466-4466
(
domain
representsForAgent
3
AutonomousAgent
)
Merge.kif 4467-4467
(
instance
representsForAgent
TernaryPredicate
)
Merge.kif 4464-4464
appearance as argument number 2
(
format
ChineseLanguage
representsForAgent
"%3 %n{doesn't} 用 %1 来代表 %2")
chinese_format.kif 229-229
(
format
EnglishLanguage
representsForAgent
"%3 %n{doesn't} use%p{s} %1 to stand for %2")
english_format.kif 230-230
(
format
FrenchLanguage
representsForAgent
"%3 %n{n'} utilise %n{pas} %1 pour repr�senter %2")
french_format.kif 134-134
(
format
ItalianLanguage
representsForAgent
"%3 usa %1 al posto di %2")
relations-it.txt 254-254
(
format
JapaneseLanguage
representsForAgent
"%3 は %2 を表すために %1 を use%p{s} %n{ない}")
japanese_format.kif 1963-1963
(
format
PortugueseLanguage
representsForAgent
"%3 %n{nao} usa %n %1 para representar %2")
portuguese_format.kif 86-86
(
format
de
representsForAgent
"%3 verwendet %1, um fuer %2 zu stehen")
relations-de.txt 299-299
(
format
hi
representsForAgent
"%3 %1 ko %2 ke pratiika ke ruupa men upayoga karataa hai")
relations-hindi.txt 291-291
(
format
ro
representsForAgent
"%3 %n{nu} use%t{foloseºte} %1 în locul lui %2")
relations-ro.kif 153-153
(
format
sv
representsForAgent
"%3 använder %n{inte} %1 för att stå för %2")
relations-sv.txt 139-139
(
format
tg
representsForAgent
"%3 ay gamitin %1 ilarawan ng %2")
relations-tg.txt 446-446
(
termFormat
ChineseLanguage
representsForAgent
"主事的代表")
chinese_format.kif 230-230
(
termFormat
ChineseLanguage
representsForAgent
"代表代理人")
domainEnglishFormat.kif 49540-49540
(
termFormat
ChineseTraditionalLanguage
representsForAgent
"代表代理人")
domainEnglishFormat.kif 49539-49539
(
termFormat
EnglishLanguage
representsForAgent
"represents for agent")
domainEnglishFormat.kif 49538-49538
(
termFormat
de
representsForAgent
"stelltDarFuerAgent")
terms-de.txt 96-96
antecedent
(=>
(
representsForAgent
?REP ?ENTITY ?AGENT)
(
represents
?REP ?ENTITY))
Merge.kif 4473-4475
consequent
(=>
(
representsInLanguage
?REP ?ENTITY ?LANGUAGE)
(
exists
(?AGENT)
(
representsForAgent
?REP ?ENTITY ?AGENT)))
Merge.kif 4487-4490
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