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 18462-18464
(domain minValue 1 Predicate)	Merge.kif 18466-18466	Die Zahl 1 Argument von minValue ist ein fall von Predicate %n{nicht}
(domain minValue 2 Integer)	Merge.kif 18467-18467	Die Zahl 2 Argument von minValue ist ein fall von Integer %n{nicht}
(domain minValue 3 Quantity)	Merge.kif 18468-18468	Die Zahl 3 Argument von minValue ist ein fall von Quantity %n{nicht}
(instance minValue TernaryPredicate)	Merge.kif 18465-18465	minValue ist ein fall von TernaryPredicate %n{nicht}

appearance as argument number 2

(format EnglishLanguage minValue "The minValue of %1 with %2 arguments is %3.")	Merge.kif 18469-18470
(termFormat EnglishLanguage minValue "min value")	domainEnglishFormat.kif 65879-65879