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 18423-18425
(domain maxValue 1 Predicate)	Merge.kif 18427-18427	maxValue の数値 1 引数は述語の instance では %n
(domain maxValue 2 Integer)	Merge.kif 18428-18428	maxValue の数値 2 引数は整数の instance では %n
(domain maxValue 3 Quantity)	Merge.kif 18429-18429	maxValue の数値 3 引数は量の instance では %n
(instance maxValue TernaryPredicate)	Merge.kif 18426-18426	maxValue は 3進述語の instance では %n

appearance as argument number 2

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