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 361-364 | |
(domain valence 1 Relation) | Merge.kif 359-359 | domain valence, 1 and Relation |
(domain valence 2 PositiveInteger) | Merge.kif 360-360 | domain valence, 2 and PositiveInteger |
(instance valence BinaryPredicate) | Merge.kif 357-357 | instance valence and BinaryPredicate |
(instance valence SingleValuedRelation) | Merge.kif 358-358 | instance valence and SingleValuedRelation |
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 | |
(termFormat ChineseLanguage valence "价") | domainEnglishFormat.kif 61139-61139 | |
(termFormat ChineseLanguage valence "配价") | chinese_format.kif 328-328 | |
(termFormat ChineseTraditionalLanguage valence "價") | domainEnglishFormat.kif 61138-61138 | |
(termFormat EnglishLanguage valence "valence") | domainEnglishFormat.kif 61137-61137 |
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 2976-2983 |
|
consequent |
![]() |
![]() |
![]() |