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 的一个实例。") 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 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