Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - valence
valence

appearance as argument number 1
-------------------------


(instance valence BinaryPredicate) Merge.kif 351-351 valence is an instance of binary predicate
(instance valence SingleValuedRelation) Merge.kif 352-352 valence is an instance of single valued relation
(domain valence 1 Relation) Merge.kif 353-353 The number 1 argument of valence is an instance of relation
(domain valence 2 PositiveInteger) Merge.kif 354-354 The number 2 argument of valence is an instance of positive integer
(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 355-358 The number 2 argument of valence is an instance of positive integer

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage valence "valence") domainEnglishFormat.kif 61173-61173
(termFormat ChineseTraditionalLanguage valence "價") domainEnglishFormat.kif 61174-61174
(termFormat ChineseLanguage valence "价") domainEnglishFormat.kif 61175-61175
(format EnglishLanguage valence "%1 %p{has} %n{doesn't have} %2 argument(s)") english_format.kif 332-332

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


(=>
    (and
        (subrelation ?PRED1 ?PRED2)
        (valence ?PRED1 ?NUMBER))
    (valence ?PRED2 ?NUMBER))		 Merge.kif 174-178 If X is a subrelation of Y and X has Z argument(s), then Y has Z argument(s)
(=>
    (and
        (valence ?REL ?NUMBER)
        (instance ?REL Predicate))
    (forall (@ROW)
        (=>
            (?REL @ROW)
            (equal
                (ListLengthFn
                    (ListFn @ROW)) ?NUMBER))))		 Merge.kif 3159-3166 If X has Y argument(s) and X is an instance of predicate, then for all : if X @ROW, then equal length of (@ROW) and Y

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


(=>
    (and
        (subrelation ?PRED1 ?PRED2)
        (valence ?PRED1 ?NUMBER))
    (valence ?PRED2 ?NUMBER))		 Merge.kif 174-178 If X is a subrelation of Y and X has Z argument(s), then Y has Z argument(s)
(=>
    (instance ?FUNCTION UnaryFunction)
    (valence ?FUNCTION 1))		 Merge.kif 3478-3480 If X is an instance of unary function, then X has 1 argument(s)
(=>
    (instance ?FUNCTION BinaryFunction)
    (valence ?FUNCTION 2))		 Merge.kif 3518-3520 If X is an instance of binary function, then X has 2 argument(s)
(=>
    (instance ?FUNCTION TernaryFunction)
    (valence ?FUNCTION 3))		 Merge.kif 3570-3572 If X is an instance of ternary function, then X has 3 argument(s)
(=>
    (instance ?FUNCTION QuaternaryFunction)
    (valence ?FUNCTION 4))		 Merge.kif 3581-3583 If X is an instance of quaternary function, then X has 4 argument(s)
(=>
    (instance ?REL BinaryPredicate)
    (valence ?REL 2))		 Merge.kif 3598-3600 If X is an instance of binary predicate, then X has 2 argument(s)
(=>
    (instance ?REL TernaryPredicate)
    (valence ?REL 3))		 Merge.kif 3609-3611 If X is an instance of ternary predicate, then X has 3 argument(s)
(=>
    (instance ?REL QuaternaryPredicate)
    (valence ?REL 4))		 Merge.kif 3620-3622 If X is an instance of quaternary predicate, then X has 4 argument(s)
(=>
    (instance ?REL QuintaryPredicate)
    (valence ?REL 5))		 Merge.kif 3631-3633 If X is an instance of quintary predicate, then X has 5 argument(s)
(=>
    (instance ?REL VariableArityRelation)
    (not
        (exists (?INT)
            (valence ?REL ?INT))))		 Merge.kif 3640-3644 If X is an instance of variable arity relation, then there doesn't exist Y such that X has Y argument(s)


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners