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
expressedInLanguage
Sigma KEE - expressedInLanguage
expressedInLanguage
appearance as argument number 1
(
documentation
expressedInLanguage
ChineseLanguage
"(
expressedInLanguage
?EXPRESS ?LANG) 的意思是
LinguisticExpression
?EXPRESS 是
Language
?LANG 的一部分。")
chinese_format.kif 2201-2202
(
documentation
expressedInLanguage
EnglishLanguage
"(
expressedInLanguage
?EXPRESS ?LANG) means that the
LinguisticExpression
?EXPRESS is part of the
Language
?LANG.")
Merge.kif 4621-4623
(
documentation
expressedInLanguage
JapaneseLanguage
"(
expressedInLanguage
?EXPRESS ?LANG) とは、
LinguisticExpression
?EXPRESS が
Language
?LANG の一部であることを意味する。")
japanese_format.kif 865-866
(
domain
expressedInLanguage
1
LinguisticExpression
)
Merge.kif 4618-4618
expressedInLanguage
の数値 1 引数は
言語表現
の
instance
では %n
(
domain
expressedInLanguage
2
Language
)
Merge.kif 4619-4619
expressedInLanguage
の数値 2 引数は
言語
の
instance
では %n
(
instance
expressedInLanguage
AsymmetricRelation
)
Merge.kif 4617-4617
expressedInLanguage
は
非対称関係
の
instance
では %n
(
instance
expressedInLanguage
BinaryPredicate
)
Merge.kif 4616-4616
expressedInLanguage
は
2進述語
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
expressedInLanguage
"%1 %n 是以 %2 语言表达")
chinese_format.kif 211-211
(
format
EnglishLanguage
expressedInLanguage
"%1 is %n expressed in language %2")
english_format.kif 212-212
(
format
FrenchLanguage
expressedInLanguage
"%1 est %n exprim� dans le langage %2")
french_format.kif 125-125
(
format
ItalianLanguage
expressedInLanguage
"%1 è espresso nella lingua %2")
relations-it.txt 105-105
(
format
JapaneseLanguage
expressedInLanguage
"%1 は %2 語で expressed され %n")
japanese_format.kif 1954-1954
(
format
PortugueseLanguage
expressedInLanguage
"%1 e' %n exprimido na linguagem %2")
portuguese_format.kif 77-77
(
format
de
expressedInLanguage
"%1 ist in Sprache %2 ausgedrueckt")
relations-de.txt 272-272
(
format
hi
expressedInLanguage
"%1 %2 kii bhaashha men abhivyakta hotaa hai")
relations-hindi.txt 145-145
(
format
ro
expressedInLanguage
"%1 %n{nu} este expressed%t{exprimat} în limba %2")
relations-ro.kif 144-144
(
format
sv
expressedInLanguage
"%1 uttrycks %n{inte} i språlet %2")
relations-sv.txt 130-130
(
format
tg
expressedInLanguage
"%1 ay nagsalita sa wika %2")
relations-tg.txt 220-220
(
termFormat
ChineseLanguage
expressedInLanguage
"所表达的语言")
chinese_format.kif 212-212
(
termFormat
ChineseLanguage
expressedInLanguage
"用语言表达")
domainEnglishFormat.kif 22942-22942
(
termFormat
ChineseTraditionalLanguage
expressedInLanguage
"用語言表達")
domainEnglishFormat.kif 22941-22941
(
termFormat
EnglishLanguage
expressedInLanguage
"expressed in language")
domainEnglishFormat.kif 22940-22940
(
termFormat
de
expressedInLanguage
"inSpracheAusgedrueckt")
terms-de.txt 87-87
(
termFormat
tg
expressedInLanguage
"nagsalita sa wika")
relations-tg.txt 221-221
antecedent
(=>
(
expressedInLanguage
?EXPRESS ?LANGUAGE)
(
exists
(?PROP)
(
representsInLanguage
?EXPRESS ?PROP ?LANGUAGE)))
Merge.kif 4625-4628
言語表現
は
言語
語で
expressed
され %n
エンティティー
言語表現
は
言語
語で
エンティティー
を
represent
s %n{ない}
consequent
(=>
(
representsInLanguage
?EXPRESS ?PROP ?LANGUAGE)
(
expressedInLanguage
?EXPRESS ?LANGUAGE))
Merge.kif 4630-4632
言語表現
は
言語
語で
エンティティー
を
represent
s %n{ない}
言語表現
は
言語
語で
expressed
され %n
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