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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 362-365
(domain valence 1 Relation) Merge.kif 360-360 The number 1 argument of valence is an instance of relation
(domain valence 2 PositiveInteger) Merge.kif 361-361 The number 2 argument of valence is an instance of positive integer
(instance valence AsymmetricRelation) Merge.kif 358-358 valence is an instance of asymmetric relation
(instance valence BinaryPredicate) Merge.kif 357-357 valence is an instance of binary predicate
(instance valence SingleValuedRelation) Merge.kif 359-359 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 335-335
(termFormat ChineseLanguage valence "价") domainEnglishFormat.kif 61059-61059
(termFormat ChineseLanguage valence "配价") chinese_format.kif 328-328
(termFormat ChineseTraditionalLanguage valence "價") domainEnglishFormat.kif 61058-61058
(termFormat EnglishLanguage valence "valence") domainEnglishFormat.kif 61057-61057

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 2111-2128 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 178-182
(=>
    (instance ?FUNCTION BinaryFunction)
    (valence ?FUNCTION 2))
Merge.kif 3251-3253
(=>
    (instance ?FUNCTION QuaternaryFunction)
    (valence ?FUNCTION 4))
Merge.kif 3313-3315
(=>
    (instance ?FUNCTION TernaryFunction)
    (valence ?FUNCTION 3))
Merge.kif 3302-3304
(=>
    (instance ?FUNCTION UnaryFunction)
    (valence ?FUNCTION 1))
Merge.kif 3212-3214
(=>
    (instance ?REL BinaryPredicate)
    (valence ?REL 2))
Merge.kif 3330-3332
(=>
    (instance ?REL QuaternaryPredicate)
    (valence ?REL 4))
Merge.kif 3352-3354
(=>
    (instance ?REL QuintaryPredicate)
    (valence ?REL 5))
Merge.kif 3363-3365
(=>
    (instance ?REL TernaryPredicate)
    (valence ?REL 3))
Merge.kif 3341-3343
(=>
    (instance ?REL VariableArityRelation)
    (not
        (exists (?INT)
            (valence ?REL ?INT))))
Merge.kif 3372-3376


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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