| 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 362-365 | |
| (domain valence 1 Relation) | Merge.kif 360-360 | |
| (domain valence 2 PositiveInteger) | Merge.kif 361-361 | |
| (instance valence AsymmetricRelation) | Merge.kif 358-358 | |
| (instance valence BinaryPredicate) | Merge.kif 357-357 | |
| (instance valence SingleValuedRelation) | Merge.kif 359-359 |
| 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 335-335 | |
| (termFormat ChineseLanguage valence "价") | domainEnglishFormat.kif 61117-61117 | |
| (termFormat ChineseLanguage valence "配价") | chinese_format.kif 328-328 | |
| (termFormat ChineseTraditionalLanguage valence "價") | domainEnglishFormat.kif 61116-61116 | |
| (termFormat EnglishLanguage valence "valence") | domainEnglishFormat.kif 61115-61115 |
| antecedent |
|
|
| (=> (and (subrelation ?PRED1 ?PRED2) (valence ?PRED1 ?NUMBER)) (valence ?PRED2 ?NUMBER)) |
Merge.kif 178-182 | |
| (=> (and (valence ?REL ?NUMBER) (instance ?REL Predicate)) (forall (@ROW) (=> (?REL @ROW) (equal (ListLengthFn (ListFn @ROW)) ?NUMBER)))) |
Merge.kif 2937-2944 |
| consequent |
|
|
| (<=> (and (instance ?REL TotalValuedRelation) (instance ?REL Predicate)) (exists (?VALENCE) (and (instance ?REL Relation) (valence ?REL ?VALENCE) (=> (forall (?NUMBER ?ELEMENT ?CLASS) (=> (and (lessThan ?NUMBER ?VALENCE) (domain ?REL ?NUMBER ?CLASS) (equal ?ELEMENT (ListOrderFn (ListFn @ROW) ?NUMBER))) (instance ?ELEMENT ?CLASS))) (exists (?ITEM) (?REL @ROW ?ITEM)))))) |
Merge.kif 2110-2127 | |
| (=> (and (subrelation ?PRED1 ?PRED2) (valence ?PRED1 ?NUMBER)) (valence ?PRED2 ?NUMBER)) |
Merge.kif 178-182 | |
| (=> (instance ?FUNCTION BinaryFunction) (valence ?FUNCTION 2)) |
Merge.kif 3161-3163 | |
| (=> (instance ?FUNCTION QuaternaryFunction) (valence ?FUNCTION 4)) |
Merge.kif 3223-3225 | |
| (=> (instance ?FUNCTION TernaryFunction) (valence ?FUNCTION 3)) |
Merge.kif 3212-3214 | |
| (=> (instance ?FUNCTION UnaryFunction) (valence ?FUNCTION 1)) |
Merge.kif 3122-3124 | |
| (=> (instance ?REL BinaryPredicate) (valence ?REL 2)) |
Merge.kif 3240-3242 | |
| (=> (instance ?REL QuaternaryPredicate) (valence ?REL 4)) |
Merge.kif 3262-3264 | |
| (=> (instance ?REL QuintaryPredicate) (valence ?REL 5)) |
Merge.kif 3273-3275 | |
| (=> (instance ?REL TernaryPredicate) (valence ?REL 3)) |
Merge.kif 3251-3253 | |
| (=> (instance ?REL VariableArityRelation) (not (exists (?INT) (valence ?REL ?INT)))) |
Merge.kif 3282-3286 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners