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 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 |
![]() |
![]() |