TreeView Knowledge Base Browser

appearance as argument number 1

(documentation maxValue EnglishLanguage "The maximum possible value for a given numerical argument of a Relation. The second argument is the argument number of the relation and the third argument is the maximum value.")	Merge.kif 18749-18751
(instance maxValue TernaryPredicate)	Merge.kif 18752-18752	max value is an instance of ternary predicate
(domain maxValue 1 Predicate)	Merge.kif 18753-18753	The number 1 argument of max value is an instance of predicate
(domain maxValue 2 Integer)	Merge.kif 18754-18754	The number 2 argument of max value is an instance of integer
(domain maxValue 3 Quantity)	Merge.kif 18755-18755	The number 3 argument of max value is an instance of quantity

appearance as argument number 2

(format EnglishLanguage maxValue "The maxValue of %1 with %2 arguments is %3.")	Merge.kif 18756-18757
(termFormat EnglishLanguage maxValue "max value")	domainEnglishFormat.kif 65890-65890