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 361-364
(domain valence 1 Relation) Merge.kif 359-359 domain valence, 1 and Relation
(domain valence 2 PositiveInteger) Merge.kif 360-360 domain valence, 2 and PositiveInteger
(instance valence BinaryPredicate) Merge.kif 357-357 instance valence and BinaryPredicate
(instance valence SingleValuedRelation) Merge.kif 358-358 instance valence and SingleValuedRelation

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

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 2976-2983

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


(=>
    (and
        (subrelation ?PRED1 ?PRED2)
        (valence ?PRED1 ?NUMBER))
    (valence ?PRED2 ?NUMBER))		 Merge.kif 178-182
(=>
    (instance ?FUNCTION BinaryFunction)
    (valence ?FUNCTION 2))		 Merge.kif 3333-3335
(=>
    (instance ?FUNCTION QuaternaryFunction)
    (valence ?FUNCTION 4))		 Merge.kif 3396-3398
(=>
    (instance ?FUNCTION TernaryFunction)
    (valence ?FUNCTION 3))		 Merge.kif 3385-3387
(=>
    (instance ?FUNCTION UnaryFunction)
    (valence ?FUNCTION 1))		 Merge.kif 3294-3296
(=>
    (instance ?REL BinaryPredicate)
    (valence ?REL 2))		 Merge.kif 3413-3415
(=>
    (instance ?REL QuaternaryPredicate)
    (valence ?REL 4))		 Merge.kif 3435-3437
(=>
    (instance ?REL QuintaryPredicate)
    (valence ?REL 5))		 Merge.kif 3446-3448
(=>
    (instance ?REL TernaryPredicate)
    (valence ?REL 3))		 Merge.kif 3424-3426
(=>
    (instance ?REL VariableArityRelation)
    (not
        (exists (?INT)
            (valence ?REL ?INT))))		 Merge.kif 3455-3459


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