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
valence
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 363-366
(
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 361-361
The number 1 argument of
valence
is an
instance
of
relation
(
domain
valence
2
PositiveInteger
)
Merge.kif 362-362
The number 2 argument of
valence
is an
instance
of
positive integer
(
instance
valence
BinaryPredicate
)
Merge.kif 359-359
valence
is an
instance
of
binary predicate
(
instance
valence
SingleValuedRelation
)
Merge.kif 360-360
valence
is an
instance
of
single valued relation
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 61172-61172
(
termFormat
ChineseLanguage
valence
"配价")
chinese_format.kif 328-328
(
termFormat
ChineseTraditionalLanguage
valence
"價")
domainEnglishFormat.kif 61171-61171
(
termFormat
EnglishLanguage
valence
"valence")
domainEnglishFormat.kif 61170-61170
antecedent
(=>
(
and
(
subrelation
?PRED1 ?PRED2)
(
valence
?PRED1 ?NUMBER))
(
valence
?PRED2 ?NUMBER))
Merge.kif 180-184
If
a relation
is a
subrelation
of
another relation
and
the relation
has
a positive integer
argument
(s),
then
the other relation
has
the positive integer
argument
(s)
(=>
(
and
(
valence
?REL ?NUMBER)
(
instance
?REL
Predicate
))
(
forall
(@ROW)
(=>
(?REL @ROW)
(
equal
(
ListLengthFn
(
ListFn
@ROW)) ?NUMBER))))
Merge.kif 3048-3055
If
a relation
has
a positive integer
argument
(s) and
the relation
is an
instance
of
predicate
,
then for all @ROW
if
the relation
@ROW,
then
length
of (@ROW) is
equal
to
the positive integer
consequent
(=>
(
and
(
subrelation
?PRED1 ?PRED2)
(
valence
?PRED1 ?NUMBER))
(
valence
?PRED2 ?NUMBER))
Merge.kif 180-184
If
a relation
is a
subrelation
of
another relation
and
the relation
has
a positive integer
argument
(s),
then
the other relation
has
the positive integer
argument
(s)
(=>
(
instance
?FUNCTION
BinaryFunction
)
(
valence
?FUNCTION 2))
Merge.kif 3405-3407
If
a relation
is an
instance
of
binary function
,
then
the relation
has
2
argument
(s)
(=>
(
instance
?FUNCTION
QuaternaryFunction
)
(
valence
?FUNCTION 4))
Merge.kif 3468-3470
If
a relation
is an
instance
of
quaternary function
,
then
the relation
has
4
argument
(s)
(=>
(
instance
?FUNCTION
TernaryFunction
)
(
valence
?FUNCTION 3))
Merge.kif 3457-3459
If
a relation
is an
instance
of
ternary function
,
then
the relation
has
3
argument
(s)
(=>
(
instance
?FUNCTION
UnaryFunction
)
(
valence
?FUNCTION 1))
Merge.kif 3365-3367
If
a relation
is an
instance
of
unary function
,
then
the relation
has
1
argument
(s)
(=>
(
instance
?REL
BinaryPredicate
)
(
valence
?REL 2))
Merge.kif 3485-3487
If
a relation
is an
instance
of
binary predicate
,
then
the relation
has
2
argument
(s)
(=>
(
instance
?REL
QuaternaryPredicate
)
(
valence
?REL 4))
Merge.kif 3507-3509
If
a relation
is an
instance
of
quaternary predicate
,
then
the relation
has
4
argument
(s)
(=>
(
instance
?REL
QuintaryPredicate
)
(
valence
?REL 5))
Merge.kif 3518-3520
If
a relation
is an
instance
of
quintary predicate
,
then
the relation
has
5
argument
(s)
(=>
(
instance
?REL
TernaryPredicate
)
(
valence
?REL 3))
Merge.kif 3496-3498
If
a relation
is an
instance
of
ternary predicate
,
then
the relation
has
3
argument
(s)
(=>
(
instance
?REL
VariableArityRelation
)
(
not
(
exists
(?INT)
(
valence
?REL ?INT))))
Merge.kif 3527-3531
If
a relation
is an
instance
of
variable arity relation
,
then there doesn't exist
a positive integer
such that
the relation
has
the positive integer
argument
(s)
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