TreeView Knowledge Base Browser

appearance as argument number 1

(documentation defaultMaxValue EnglishLanguage "The maximum likely 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 18784-18786
(instance defaultMaxValue TernaryPredicate)	Merge.kif 18787-18787	default max value is an instance of ternary predicate
(domain defaultMaxValue 1 Predicate)	Merge.kif 18788-18788	The number 1 argument of default max value is an instance of predicate
(domain defaultMaxValue 2 Integer)	Merge.kif 18789-18789	The number 2 argument of default max value is an instance of integer
(domain defaultMaxValue 3 Quantity)	Merge.kif 18790-18790	The number 3 argument of default max value is an instance of quantity

appearance as argument number 2

(format EnglishLanguage defaultMaxValue "The defalutMaxValue of %1 with %2 arguments is %3.")	Merge.kif 18791-18792
(termFormat EnglishLanguage defaultMaxValue "default max value")	domainEnglishFormat.kif 65813-65813

antecedent

(=>
    (and
        (defaultMaxValue ?REL ?ARG ?N)
        (?REL @ARGS)
        (equal ?VAL
            (ListOrderFn
                (ListFn @ARGS) ?ARG)))
    (modalAttribute
        (greaterThan ?N ?VAL) Likely))

Merge.kif 18794-18799

If The defalutMaxValue of X with Y arguments is Z., X @ARGS, and equal V and U element of (@ARGS), then the statement Z is greater than V has the modal force of likely

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: