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 The number 1 argument of valence is an instance of relation
(domain valence 2 PositiveInteger) Merge.kif 401-401 The number 2 argument of valence is an instance of positive integer
(instance valence AsymmetricRelation) Merge.kif 398-398 valence is an instance of asymmetric relation
(instance valence BinaryPredicate) Merge.kif 397-397 valence is an instance of binary predicate
(instance valence SingleValuedRelation) Merge.kif 399-399 valence is an instance of single valued relation

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 "配价" is the printable form of valence in ChineseLanguage
(termFormat EnglishLanguage valence "valence") domainEnglishFormat.kif 10620-10620 "valence" is the printable form of valence in english language

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 A relation is an instance of total valued relation and the relation is an instance of predicate if and only if there exists a positive integer such that the relation is an instance of relation and the relation %&has the positive integer argument(s) and
(=>
    (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