TreeView Knowledge Base Browser - valence

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	The number 1 argument of valence is an instance of relation
(domain valence 2 PositiveInteger)	Merge.kif 401-401	The number 2 argument of valence is an instance of positive integer
(instance valence AsymmetricRelation)	Merge.kif 398-398	valence is an instance of asymmetric relation
(instance valence BinaryPredicate)	Merge.kif 397-397	valence is an instance of binary predicate
(instance valence SingleValuedRelation)	Merge.kif 399-399	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 196-196
(termFormat ChineseLanguage valence "配价")	chinese_format.kif 328-328	"配价" is the printable form of valence in ChineseLanguage
(termFormat EnglishLanguage valence "valence")	domainEnglishFormat.kif 10620-10620	"valence" is the printable form of valence in english language

antecedent

(=> (and (subrelation ?PRED1 ?PRED2) (valence ?PRED1 ?NUMBER)) (valence ?PRED2 ?NUMBER))	Merge.kif 201-205	If a relation is a subrelation of another relation and the relation %&has a positive integer argument(s), then the other relation %&has the positive integer argument(s)
(=> (and (valence ?REL ?NUMBER) (instance ?REL Predicate)) (forall (@ROW) (=> (?REL @ROW) (equal (ListLengthFn (ListFn @ROW)) ?NUMBER))))	Merge.kif 3248-3255	If a relation %&has a positive integer argument(s) and the relation is an instance of predicate, then for all @ROW if the relation @ROW, then length of (@ROW) is equal to the positive integer

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 2331-2348	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 if for all another positive integer, an entity and a set or class if the other positive integer is less than the positive integer and the number the other positive integer argument of the relation is an instance of the set or class and the entity is equal to the other positive integerth element of (@ROW), then the entity is an instance of the set or class , then there exists a fourth entity such that the relation @ROW and the fourth entity
(=> (and (subrelation ?PRED1 ?PRED2) (valence ?PRED1 ?NUMBER)) (valence ?PRED2 ?NUMBER))	Merge.kif 201-205	If a relation is a subrelation of another relation and the relation %&has a positive integer argument(s), then the other relation %&has the positive integer argument(s)
(=> (instance ?FUNCTION BinaryFunction) (valence ?FUNCTION 2))	Merge.kif 3495-3497	If a relation is an instance of binary function, then the relation %&has 2 argument(s)
(=> (instance ?FUNCTION QuaternaryFunction) (valence ?FUNCTION 4))	Merge.kif 3563-3565	If a relation is an instance of quaternary function, then the relation %&has 4 argument(s)
(=> (instance ?FUNCTION TernaryFunction) (valence ?FUNCTION 3))	Merge.kif 3551-3553	If a relation is an instance of ternary function, then the relation %&has 3 argument(s)
(=> (instance ?FUNCTION UnaryFunction) (valence ?FUNCTION 1))	Merge.kif 3454-3456	If a relation is an instance of unary function, then the relation %&has 1 argument(s)
(=> (instance ?REL BinaryPredicate) (valence ?REL 2))	Merge.kif 3582-3584	If a relation is an instance of binary predicate, then the relation %&has 2 argument(s)
(=> (instance ?REL QuaternaryPredicate) (valence ?REL 4))	Merge.kif 3605-3607	If a relation is an instance of quaternary predicate, then the relation %&has 4 argument(s)
(=> (instance ?REL QuintaryPredicate) (valence ?REL 5))	Merge.kif 3617-3619	If a relation is an instance of quintary predicate, then the relation %&has 5 argument(s)
(=> (instance ?REL TernaryPredicate) (valence ?REL 3))	Merge.kif 3593-3595	If a relation is an instance of ternary predicate, then the relation %&has 3 argument(s)
(=> (instance ?REL VariableArityRelation) (not (exists (?INT) (valence ?REL ?INT))))	Merge.kif 3627-3631	If a relation is an instance of variable arity relation, then there doesn't exist a positive integer such that the relation %&has the positive integer argument(s)

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