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 的一个实例。") 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 364-367
(domain valence 1 Relation) Merge.kif 362-362
(domain valence 2 PositiveInteger) Merge.kif 363-363
(instance valence BinaryPredicate) Merge.kif 360-360
(instance valence SingleValuedRelation) Merge.kif 361-361

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 61146-61146
(termFormat ChineseLanguage valence "配价") chinese_format.kif 328-328
(termFormat ChineseTraditionalLanguage valence "價") domainEnglishFormat.kif 61145-61145
(termFormat EnglishLanguage valence "valence") domainEnglishFormat.kif 61144-61144

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


(=>
    (and
        (subrelation ?PRED1 ?PRED2)
        (valence ?PRED1 ?NUMBER))
    (valence ?PRED2 ?NUMBER))
Merge.kif 180-184
(=>
    (and
        (valence ?REL ?NUMBER)
        (instance ?REL Predicate))
    (forall (@ROW)
        (=>
            (?REL @ROW)
            (equal
                (ListLengthFn
                    (ListFn @ROW)) ?NUMBER))))
Merge.kif 3007-3014

consequent
-------------------------


(=>
    (and
        (subrelation ?PRED1 ?PRED2)
        (valence ?PRED1 ?NUMBER))
    (valence ?PRED2 ?NUMBER))
Merge.kif 180-184
(=>
    (instance ?FUNCTION BinaryFunction)
    (valence ?FUNCTION 2))
Merge.kif 3364-3366
(=>
    (instance ?FUNCTION QuaternaryFunction)
    (valence ?FUNCTION 4))
Merge.kif 3427-3429
(=>
    (instance ?FUNCTION TernaryFunction)
    (valence ?FUNCTION 3))
Merge.kif 3416-3418
(=>
    (instance ?FUNCTION UnaryFunction)
    (valence ?FUNCTION 1))
Merge.kif 3324-3326
(=>
    (instance ?REL BinaryPredicate)
    (valence ?REL 2))
Merge.kif 3444-3446
(=>
    (instance ?REL QuaternaryPredicate)
    (valence ?REL 4))
Merge.kif 3466-3468
(=>
    (instance ?REL QuintaryPredicate)
    (valence ?REL 5))
Merge.kif 3477-3479
(=>
    (instance ?REL TernaryPredicate)
    (valence ?REL 3))
Merge.kif 3455-3457
(=>
    (instance ?REL VariableArityRelation)
    (not
        (exists (?INT)
            (valence ?REL ?INT))))
Merge.kif 3486-3490


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 3.0 is open source software produced by Articulate Software and its partners