| 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 | valence の数値 1 引数は 関係 の instance では %n |
| (domain valence 2 PositiveInteger) | Merge.kif 355-355 | valence の数値 2 引数は 正の整数 の instance では %n |
| (instance valence BinaryPredicate) | Merge.kif 352-352 | valence は 2進述語 の instance では %n |
| (instance valence SingleValuedRelation) | Merge.kif 353-353 | valence は 一価関係 の instance では %n |
| 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 | |
| (=> (and (valence ?REL ?NUMBER) (instance ?REL Predicate)) (forall (@ROW) (=> (?REL @ROW) (equal (ListLengthFn (ListFn @ROW)) ?NUMBER)))) |
Merge.kif 3046-3053 |
| consequent |
|
|
| (=> (and (subrelation ?PRED1 ?PRED2) (valence ?PRED1 ?NUMBER)) (valence ?PRED2 ?NUMBER)) |
Merge.kif 174-178 | |
| (=> (instance ?FUNCTION BinaryFunction) (valence ?FUNCTION 2)) |
Merge.kif 3405-3407 | |
| (=> (instance ?FUNCTION QuaternaryFunction) (valence ?FUNCTION 4)) |
Merge.kif 3468-3470 | |
| (=> (instance ?FUNCTION TernaryFunction) (valence ?FUNCTION 3)) |
Merge.kif 3457-3459 | |
| (=> (instance ?FUNCTION UnaryFunction) (valence ?FUNCTION 1)) |
Merge.kif 3365-3367 | |
| (=> (instance ?REL BinaryPredicate) (valence ?REL 2)) |
Merge.kif 3485-3487 | |
| (=> (instance ?REL QuaternaryPredicate) (valence ?REL 4)) |
Merge.kif 3507-3509 | |
| (=> (instance ?REL QuintaryPredicate) (valence ?REL 5)) |
Merge.kif 3518-3520 | |
| (=> (instance ?REL TernaryPredicate) (valence ?REL 3)) |
Merge.kif 3496-3498 | |
| (=> (instance ?REL VariableArityRelation) (not (exists (?INT) (valence ?REL ?INT)))) |
Merge.kif 3527-3531 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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