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
(domain valence 2 PositiveInteger) Merge.kif 401-401
(instance valence AsymmetricRelation) Merge.kif 398-398
(instance valence BinaryPredicate) Merge.kif 397-397
(instance valence SingleValuedRelation) Merge.kif 399-399

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
(format FrenchLanguage valence "%1 %p{a} %n{n' %&a pas} %2 argument(s)") french_format.kif 186-186
(format ItalianLanguage valence "%1 %p{%&ha} %n{non %&ha} %2 argomento(s") relations-it.txt 309-309
(format PortugueseLanguage valence "%1 %p{tem} %n{nao %&tem } %2 argumento(s)") portuguese_format.kif 138-138
(format ar valence "%1 %p{%&عِنْدَه} %n{لَيْسَ %&عِنْدَه} %2 مُتَغَيِّر مُسْتَقِل(s)") arabic_format.kif 131-131
(format cz valence "%1 %p{has} %n{doesn't have} %2 argument(s)") relations-cz.txt 181-181
(format de valence "%1 hat %n{nicht} %2 argument(e)") relations-de.txt 431-431
(format hi valence "%1 kaa koNaanka %2 %n{nahiin} hai") relations-hindi.txt 60-60
(termFormat ChineseLanguage valence "配价") chinese_format.kif 328-328
(termFormat EnglishLanguage valence "valence") domainEnglishFormat.kif 10620-10620
(termFormat ar valence "«عِنْدَه مُتَغَيِّر مُسْتَقِل»") arabic_format.kif 581-581

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 3235-3242

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 2318-2335
(=>
    (and
        (subrelation ?PRED1 ?PRED2)
        (valence ?PRED1 ?NUMBER))
    (valence ?PRED2 ?NUMBER))
Merge.kif 201-205
(=>
    (instance ?FUNCTION BinaryFunction)
    (valence ?FUNCTION 2))
Merge.kif 3482-3484
(=>
    (instance ?FUNCTION QuaternaryFunction)
    (valence ?FUNCTION 4))
Merge.kif 3550-3552
(=>
    (instance ?FUNCTION TernaryFunction)
    (valence ?FUNCTION 3))
Merge.kif 3538-3540
(=>
    (instance ?FUNCTION UnaryFunction)
    (valence ?FUNCTION 1))
Merge.kif 3441-3443
(=>
    (instance ?REL BinaryPredicate)
    (valence ?REL 2))
Merge.kif 3569-3571
(=>
    (instance ?REL QuaternaryPredicate)
    (valence ?REL 4))
Merge.kif 3592-3594
(=>
    (instance ?REL QuintaryPredicate)
    (valence ?REL 5))
Merge.kif 3604-3606
(=>
    (instance ?REL TernaryPredicate)
    (valence ?REL 3))
Merge.kif 3580-3582
(=>
    (instance ?REL VariableArityRelation)
    (not
        (exists (?INT)
            (valence ?REL ?INT))))
Merge.kif 3614-3618


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