Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
Entity
Sigma KEE - valence
valence
appearance as argument number 1
(
documentation
valence
ChineseLanguage
"指定一个关系可接纳参数的数目。 如果一个关系没有设定参数 数目,那么它就没有配价,它也就是
VariableArityRelation
的一个实例。")
chinese_format.kif 1494-1495
(
documentation
valence
EnglishLanguage
"Specifies the number of arguments that a relation can take. If a relation does not have a fixed number of arguments, it does not have a valence and it is an instance of
VariableArityRelation
.")
Merge.kif 356-359
(
documentation
valence
JapaneseLanguage
"関連できる引数の数を指定する。 関係に引数の固定数が ない場合、それにはバレンスがなく、
VariableArityRelation
のインスタンスである。")
japanese_format.kif 55-56
(
documentation
valence
SpanishLanguage
"Especifica el número de argumentos que puede tomar una relación. Si una relación no tiene un número fijo de argumentos, no tiene diátesis y es una instancia de
VariableArityRelation
.")
spanish_format.kif 60-62
(
domain
valence
1
Relation
)
Merge.kif 354-354
配价
的 1 数量 是
关系
的
instance
(
domain
valence
2
PositiveInteger
)
Merge.kif 355-355
配价
的 2 数量 是
正整数
的
instance
(
instance
valence
BinaryPredicate
)
Merge.kif 352-352
配价
是
二元谓语
的
instance
(
instance
valence
SingleValuedRelation
)
Merge.kif 353-353
配价
是
单值关系
的
instance
appearance as argument number 2
(
format
ChineseLanguage
valence
"%1 % %n{doesn't %&have} 有 %2
Argument
")
chinese_format.kif 327-327
(
format
EnglishLanguage
valence
"%1 %p{has} %n{doesn't have} %2 argument(s)")
english_format.kif 332-332
(
format
FrenchLanguage
valence
"%1 %p{a} %n{n' %&a pas} %2 argument(s)")
french_format.kif 186-186
(
format
ItalianLanguage
valence
"%1 %p{%&ha} %n{non %&ha} %2 argomento(s")
relations-it.txt 309-309
(
format
JapaneseLanguage
valence
"%1 は %2 の argument(s) を %p{%&has} %n{ない}")
japanese_format.kif 2006-2006
(
format
PortugueseLanguage
valence
"%1 %p{tem} %n{nao %&tem } %2 argumento(s)")
portuguese_format.kif 138-138
(
format
cz
valence
"%1 %p{has} %n{doesn't have} %2 argument(s)")
relations-cz.txt 181-181
(
format
de
valence
"%1 hat %n{nicht} %2 argument(e)")
relations-de.txt 431-431
(
format
hi
valence
"%1 kaa koNaanka %2 %n{nahiin} hai")
relations-hindi.txt 60-60
(
format
ro
valence
"%1 %n{nu} are %2 argument%t{argumente}")
relations-ro.kif 206-206
(
format
sv
valence
"%1 %&tar %n{inte} %2 argument")
relations-sv.txt 196-196
(
termFormat
ChineseLanguage
valence
"价")
domainEnglishFormat.kif 61166-61166
(
termFormat
ChineseLanguage
valence
"配价")
chinese_format.kif 328-328
(
termFormat
ChineseTraditionalLanguage
valence
"價")
domainEnglishFormat.kif 61165-61165
(
termFormat
EnglishLanguage
valence
"valence")
domainEnglishFormat.kif 61164-61164
(
termFormat
de
valence
"valenz")
terms-de.txt 137-137
antecedent
(=>
(
and
(
subrelation
?PRED1 ?PRED2)
(
valence
?PRED1 ?NUMBER))
(
valence
?PRED2 ?NUMBER))
Merge.kif 174-178
如果
关系
是
另一个 关系
的
subrelation
和
那个 关系
% 有
正整数
Argument
,
然后
那个 另外 关系
% 有
那个 正整数
Argument
(=>
(
and
(
valence
?REL ?NUMBER)
(
instance
?REL
Predicate
))
(
forall
(@ROW)
(=>
(?REL @ROW)
(
equal
(
ListLengthFn
(
ListFn
@ROW)) ?NUMBER))))
Merge.kif 3061-3068
如果
关系
% 有
正整数
Argument
和
那个 关系
是
谓语
的
instance
,
然后 对所有 @ROW
如果
那个 关系
@ROW,
然后
equal
(@ROW) 的长度 and
那个 正整数
consequent
(=>
(
and
(
subrelation
?PRED1 ?PRED2)
(
valence
?PRED1 ?NUMBER))
(
valence
?PRED2 ?NUMBER))
Merge.kif 174-178
如果
关系
是
另一个 关系
的
subrelation
和
那个 关系
% 有
正整数
Argument
,
然后
那个 另外 关系
% 有
那个 正整数
Argument
(=>
(
instance
?FUNCTION
BinaryFunction
)
(
valence
?FUNCTION 2))
Merge.kif 3420-3422
如果
关系
是
二元函数
的
instance
,
然后
那个 关系
% 有 2
Argument
(=>
(
instance
?FUNCTION
QuaternaryFunction
)
(
valence
?FUNCTION 4))
Merge.kif 3483-3485
如果
关系
是
四元函数
的
instance
,
然后
那个 关系
% 有 4
Argument
(=>
(
instance
?FUNCTION
TernaryFunction
)
(
valence
?FUNCTION 3))
Merge.kif 3472-3474
如果
关系
是
三元函数
的
instance
,
然后
那个 关系
% 有 3
Argument
(=>
(
instance
?FUNCTION
UnaryFunction
)
(
valence
?FUNCTION 1))
Merge.kif 3380-3382
如果
关系
是
一元函数
的
instance
,
然后
那个 关系
% 有 1
Argument
(=>
(
instance
?REL
BinaryPredicate
)
(
valence
?REL 2))
Merge.kif 3500-3502
如果
关系
是
二元谓语
的
instance
,
然后
那个 关系
% 有 2
Argument
(=>
(
instance
?REL
QuaternaryPredicate
)
(
valence
?REL 4))
Merge.kif 3522-3524
如果
关系
是
四元谓语
的
instance
,
然后
那个 关系
% 有 4
Argument
(=>
(
instance
?REL
QuintaryPredicate
)
(
valence
?REL 5))
Merge.kif 3533-3535
如果
关系
是
五元谓语
的
instance
,
然后
那个 关系
% 有 5
Argument
(=>
(
instance
?REL
TernaryPredicate
)
(
valence
?REL 3))
Merge.kif 3511-3513
如果
关系
是
三元谓语
的
instance
,
然后
那个 关系
% 有 3
Argument
(=>
(
instance
?REL
VariableArityRelation
)
(
not
(
exists
(?INT)
(
valence
?REL ?INT))))
Merge.kif 3542-3546
如果
关系
是
不定次元关系
的
instance
,
然后 不存在
正整数
这样
那个 关系
% 有
那个 正整数
Argument
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