TreeView Knowledge Base Browser

appearance as argument number 1

(documentation minValue EnglishLanguage "The minimum 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 minimum value.")	Merge.kif 18383-18385
(domain minValue 1 Predicate)	Merge.kif 18387-18387	minValue の数値 1 引数は述語の instance では %n
(domain minValue 2 Integer)	Merge.kif 18388-18388	minValue の数値 2 引数は整数の instance では %n
(domain minValue 3 Quantity)	Merge.kif 18389-18389	minValue の数値 3 引数は量の instance では %n
(instance minValue TernaryPredicate)	Merge.kif 18386-18386	minValue は 3進述語の instance では %n

appearance as argument number 2

(format EnglishLanguage minValue "The minValue of %1 with %2 arguments is %3.")	Merge.kif 18390-18391
(termFormat EnglishLanguage minValue "min value")	domainEnglishFormat.kif 65877-65877