Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  valence

Sigma KEE - valence
valence

appearance as argument number 1
-------------------------


(documentation valence ChineseLanguage "指定一个关系可接纳参数的数目。 如果一个关系没有设定参数 数目,那么它就没有配价,它也就是 VariableArityRelation 的一个实例。") Merge.kif 406-407
(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 402-405
(domain valence 1 Relation) Merge.kif 400-400 配价 的 1 数量 是 关系instance
(domain valence 2 PositiveInteger) Merge.kif 401-401 配价 的 2 数量 是 正整数instance
(instance valence AsymmetricRelation) Merge.kif 398-398 配价非对称关系instance
(instance valence BinaryPredicate) Merge.kif 397-397 配价二元谓语instance
(instance valence SingleValuedRelation) Merge.kif 399-399 配价单值关系instance

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 196-196
(termFormat ChineseLanguage valence "配价") chinese_format.kif 328-328 termFormat ChineseLanguage, 配价 and "配价"
(termFormat EnglishLanguage valence "valence") domainEnglishFormat.kif 10620-10620 termFormat EnglishLanguage, 配价 and "valence"

antecedent
-------------------------


(=>
    (and
        (subrelation ?PRED1 ?PRED2)
        (valence ?PRED1 ?NUMBER))
    (valence ?PRED2 ?NUMBER))
Merge.kif 201-205
(=>
    (and
        (valence ?REL ?NUMBER)
        (instance ?REL Predicate))
    (forall (@ROW)
        (=>
            (?REL @ROW)
            (equal
                (ListLengthFn
                    (ListFn @ROW)) ?NUMBER))))
Merge.kif 3248-3255

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 2331-2348 关系总值关系instance那个 关系谓语instance 若且唯若 有存在 正整数 这样 那个 关系关系instance那个 关系 % 有 那个 正整数 Argument) 和
(=>
    (and
        (subrelation ?PRED1 ?PRED2)
        (valence ?PRED1 ?NUMBER))
    (valence ?PRED2 ?NUMBER))
Merge.kif 201-205
(=>
    (instance ?FUNCTION BinaryFunction)
    (valence ?FUNCTION 2))
Merge.kif 3495-3497
(=>
    (instance ?FUNCTION QuaternaryFunction)
    (valence ?FUNCTION 4))
Merge.kif 3563-3565
(=>
    (instance ?FUNCTION TernaryFunction)
    (valence ?FUNCTION 3))
Merge.kif 3551-3553
(=>
    (instance ?FUNCTION UnaryFunction)
    (valence ?FUNCTION 1))
Merge.kif 3454-3456
(=>
    (instance ?REL BinaryPredicate)
    (valence ?REL 2))
Merge.kif 3582-3584
(=>
    (instance ?REL QuaternaryPredicate)
    (valence ?REL 4))
Merge.kif 3605-3607
(=>
    (instance ?REL QuintaryPredicate)
    (valence ?REL 5))
Merge.kif 3617-3619
(=>
    (instance ?REL TernaryPredicate)
    (valence ?REL 3))
Merge.kif 3593-3595
(=>
    (instance ?REL VariableArityRelation)
    (not
        (exists (?INT)
            (valence ?REL ?INT))))
Merge.kif 3627-3631


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners