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 18401-18403
(domain maxValue 1 Predicate)	Merge.kif 18405-18405	Il numero 1 argomenti di maxValue è un istanza di Predicato
(domain maxValue 2 Integer)	Merge.kif 18406-18406	Il numero 2 argomenti di maxValue è un istanza di NumeroIntero
(domain maxValue 3 Quantity)	Merge.kif 18407-18407	Il numero 3 argomenti di maxValue è un istanza di Quantit�
(instance maxValue TernaryPredicate)	Merge.kif 18404-18404	maxValue è un' istanza di PredicatoTernario

appearance as argument number 2

(format EnglishLanguage maxValue "The maxValue of %1 with %2 arguments is %3.")	Merge.kif 18408-18409
(termFormat EnglishLanguage maxValue "max value")	domainEnglishFormat.kif 65872-65872