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 18623-18625
(domain defaultMaxValue 1 Predicate)	Merge.kif 18627-18627	The number 1 argument of default max value is an instance of predicate
(domain defaultMaxValue 2 Integer)	Merge.kif 18628-18628	The number 2 argument of default max value is an instance of integer
(domain defaultMaxValue 3 Quantity)	Merge.kif 18629-18629	The number 3 argument of default max value is an instance of quantity
(instance defaultMaxValue TernaryPredicate)	Merge.kif 18626-18626	default max value is an instance of ternary predicate

appearance as argument number 2

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

antecedent

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

Merge.kif 18633-18638

If The defalutMaxValue of a predicate with a positive integer arguments is a quantity. and the predicate @ARGS and equal another entity and the positive integerth element of (@ARGS),
then the statement the quantity is greater than the other entity has the modal force of likely

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

KB Term:			Term intersection

English Word: