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 的一个实例。")	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 362-365
(domain valence 1 Relation)	Merge.kif 360-360	The number 1 argument of valence is an instance of relation
(domain valence 2 PositiveInteger)	Merge.kif 361-361	The number 2 argument of valence is an instance of positive integer
(instance valence AsymmetricRelation)	Merge.kif 358-358	valence is an instance of asymmetric relation
(instance valence BinaryPredicate)	Merge.kif 357-357	valence is an instance of binary predicate
(instance valence SingleValuedRelation)	Merge.kif 359-359	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 335-335
(termFormat ChineseLanguage valence "价")	domainEnglishFormat.kif 61080-61080
(termFormat ChineseLanguage valence "配价")	chinese_format.kif 328-328
(termFormat ChineseTraditionalLanguage valence "價")	domainEnglishFormat.kif 61079-61079
(termFormat EnglishLanguage valence "valence")	domainEnglishFormat.kif 61078-61078

antecedent

(=> (and (subrelation ?PRED1 ?PRED2) (valence ?PRED1 ?NUMBER)) (valence ?PRED2 ?NUMBER))	Merge.kif 178-182	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 2937-2944	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 2111-2128	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 178-182	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 3282-3284	If a relation is an instance of binary function, then the relation %&has 2 argument(s)
(=> (instance ?FUNCTION QuaternaryFunction) (valence ?FUNCTION 4))	Merge.kif 3344-3346	If a relation is an instance of quaternary function, then the relation %&has 4 argument(s)
(=> (instance ?FUNCTION TernaryFunction) (valence ?FUNCTION 3))	Merge.kif 3333-3335	If a relation is an instance of ternary function, then the relation %&has 3 argument(s)
(=> (instance ?FUNCTION UnaryFunction) (valence ?FUNCTION 1))	Merge.kif 3243-3245	If a relation is an instance of unary function, then the relation %&has 1 argument(s)
(=> (instance ?REL BinaryPredicate) (valence ?REL 2))	Merge.kif 3361-3363	If a relation is an instance of binary predicate, then the relation %&has 2 argument(s)
(=> (instance ?REL QuaternaryPredicate) (valence ?REL 4))	Merge.kif 3383-3385	If a relation is an instance of quaternary predicate, then the relation %&has 4 argument(s)
(=> (instance ?REL QuintaryPredicate) (valence ?REL 5))	Merge.kif 3394-3396	If a relation is an instance of quintary predicate, then the relation %&has 5 argument(s)
(=> (instance ?REL TernaryPredicate) (valence ?REL 3))	Merge.kif 3372-3374	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 3403-3407	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 3.0 is open source software produced by Articulate Software and its partners